HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

5917 articles Page 72/592 Sans filtre

02 Jun 2026

06:04

www.iankduncan.com Resume pret HTTP 200 Commentaires

Stealing from Biologists to Compile Haskell Faster

ApplicativeDo est une fonctionnalité de GHC qui permet au compilateur de transformer la notation do en combinaisons applicatives pour détecter l'indépendance entre opérations et réduire la latence, mais l'algorithme optimal était désactivé par défaut car trop lent en pratique. Le cœur du problème est de déterminer les dépendances entre instructions et de regrouper celles qui peuvent s'exécuter en parallèle ; l'algorithme glouton est rapide mais sous‑optimal, tandis que l'optimal trouve le meilleur ordonnancement au prix d'une complexité O(n³). La transformation se modèle par un arbre ordonné (feuille, séquence, parallèle) dont le coût en rounds se minimise par une récurrence qui, naïvement, cherche tous les points de coupure et induit la cubique. En combinant l'astuce des coupures extrêmes avec une borne fournie par la plus longue chaîne dans les cas d'égalité, on élimine la majeure partie des recherches inutiles et l'on obtient des temps pratiques proches de O(n²) pour des blocs réalistes, même si des cas denses persistent. Le problème est analogue à la prédiction de repliement de l'ARN et admet des algorithmes sub‑cubiques théoriques via des produits min‑plus bornés, mais leurs constantes sont impraticables, si bien que GHC préfère des optimisations modestes mais efficaces en pratique.

02 Jun 2026

06:04

mullvad.net Resume pret HTTP 200 Commentaires

Age verification for social media, the beginning of the end for a free internet?

De nombreux pays adoptent ou examinent des dispositifs de vérification d'âge en ligne, visant principalement à restreindre l'accès des mineurs aux réseaux sociaux et aux contenus pour adultes. Dans la pratique, la plupart des systèmes exigent une vérification d'identité qui peut permettre aux services et aux États de relier les usages en ligne à des personnes identifiables, réduisant ainsi l'anonymat. Des mesures vont au-delà des sites web et visent les VPN, les magasins d'applications et même les systèmes d'exploitation, comme l'ont illustré des lois et actions d'Apple, du Brésil et de certains États américains. L'Union européenne propose une solution fondée sur une application open source et des « credentials » anonymes, mais sans intégration obligatoire de preuves à divulgation nulle de connaissance, ce qui laisse la possibilité d'un retour à un modèle traçable. Des observateurs estiment que ces dispositifs risquent d'entraîner une perte de liberté d'expression et un accroissement des capacités de surveillance étatique si leur déploiement n'est pas strictement encadré.

02 Jun 2026

06:03

vinewallapp.com Resume pret HTTP 200 Commentaires

I made my phone slow on purpose

L'auteur a acheté un iPhone 17 neuf et l'a volontairement ralenti pour combattre son propre doomscrolling. Il rapporte que les solutions classiques comme l'arrêt brutal ou les bloqueurs d'applications n'ont pas supprimé l'envie et étaient faciles à contourner. Il compare le téléphone à une machine à biscuits pour illustrer que rendre l'accès moins immédiat ou moins appétissant réduit la consommation impulsive. Il a créé une application iOS appelée VineWall qui bride la vitesse Internet de certaines applications afin de dégrader progressivement la qualité vidéo et l'affichage d'images. En augmentant la limitation au fil du scrolling, les vidéos deviennent pixelisées et les images sont remplacées par des zones grises, ce qui provoque des temps de chargement et fait hésiter à continuer.

02 Jun 2026

06:03

blog.janestreet.com Resume pret HTTP 200 Commentaires

strace-ui, Bonsai_term, and the TUI renaissance

L'outil strace-ui transforme strace en une interface terminale interactive qui assigne des identifiants courts aux processus, formate les structures et affiche les tampons en hexdump pour améliorer la lisibilité. Il propose des fonctions interactives comme le filtrage à la volée, la navigation et le filtrage par descripteur de fichier, l'ouverture directe des pages de manuel et une résolution DNS plus lisible des sockets. Strace-ui a été développé en interne pour répondre à un besoin personnel et a profité du cadre Bonsai et de son adaptation terminale, Bonsai_term, pour accélérer le prototypage. Bonsai_term permet de construire des interfaces déclaratives, composables et incrémentales en OCaml, avec un framework de tests "expect" qui produit des captures textuelles exploitées par des agents d'IA pour valider l'interface. La conjonction de ce cadre, des tests textuels et des agents IA a relancé l'intérêt pour les applications terminales chez Jane Street, entraînant une prolifération d'outils utilitaires et de surveillance écrits en OCaml.

02 Jun 2026

06:03

matse.illinois.edu Resume pret HTTP 200 Commentaires

A new way to build chips: Sequentially stacking silicon to extend Moore's Law

Une équipe dirigée par Qing Cao à l'Illinois Grainger Engineering a démontré une méthode évolutive pour empiler séquentiellement des circuits en silicium monocristallin en trois dimensions tout en respectant le budget thermique du monolithique. La méthode transfère par laminage des nanomembranes de silicium ultrafines (~10 nm) et les assemble par liaison à des températures ≤ 200 °C, évitant d'endommager les interconnexions métalliques et obtenant des rendements de 98–100 % en salle blanche académique. Pour contourner les étapes de dopage à haute température, les chercheurs ont utilisé des transistors sans jonction pré-dopés, ce qui maintient un bon contrôle de canal et de faibles résistances de contact. Ils ont réalisé trois couches empilées comportant chacune 625 transistors, avec des densités de courant comparables aux transistors standards sur silicium massif et trois à quatre fois supérieures à celles des dispositifs monolithiques fabriqués à partir d'autres matériaux. L'étude, publiée dans Nature et soutenue par la NSF ainsi que des partenaires industriels comme IBM, Intel et TSMC, prépare la transition du procédé vers des fonderies industrielles.

02 Jun 2026

06:03

www.quantamagazine.org Resume pret HTTP 200 Commentaires

What appear to be biochemical processes may be a natural feature of geology

Sébastien Fontaine a étudié pendant quinze ans des échantillons de sol irradiés et a constaté que, malgré l'élimination apparente de la vie, la terre continuait d'émettre du dioxyde de carbone pendant des années. L'équipe a répété les expériences, observé que l'ajout d'enzymes accentuait les émissions et vérifié par microscopie que les cellules visibles étaient dépourvues d'ADN et d'ARN, ce qui a orienté la recherche vers un mécanisme abiologique possible. Les chercheurs ont mesuré un courant électrique traversant le sol et détecté plusieurs intermédiaires du cycle de Krebs dans des échantillons stériles, éléments interprétés comme des signes de réactions semblables au métabolisme hors des cellules. Ils proposent que des minéraux et métaux du sol puissent catalyser ces réactions, soutenant l'idée que des voies métaboliques auraient pu précéder la vie, tandis que d'autres scientifiques soulignent que des enzymes résiduelles pourraient aussi expliquer les observations. Ces résultats relancent le débat sur l'origine et la nature du métabolisme et encouragent de nouvelles recherches pour distinguer clairement les contributions des catalyseurs abiotiques et des enzymes persistantes.

02 Jun 2026

06:03

www.windowslatest.com Resume pret HTTP 200 Commentaires

Microsoft builds MacBook Pro rival with NVIDIA-powered Surface Laptop Ultra

Microsoft a présenté à Computex 2026 un nouveau portable Surface haut de gamme conçu en partenariat étroit avec NVIDIA et destiné à faire fonctionner Windows sur Arm. La machine repose sur la plateforme NVIDIA RTX Spark intégrant un CPU NVIDIA Grace 20 cœurs co‑développé avec MediaTek et un GPU Blackwell pouvant atteindre 6 144 cœurs CUDA, reliés par NVLink‑C2C. Elle offre jusqu'à 128 Go de mémoire unifiée, un calcul IA annoncé à un pétaflop capable de faire tourner localement des modèles de 120 milliards de paramètres, ainsi qu'un système de refroidissement à double ventilateur et un SSD remplaçable. L'écran tactile mini‑LED PixelSense de 15 pouces propose une définition de 2880×1920, 262 ppp et un pic de luminosité de 2 000 nits, tandis que la connectique comprend HDMI, USB‑C, USB‑A, lecteur SD et prise casque. Microsoft a optimisé Windows 11 pour cette architecture avec des améliorations d'émulation, de gestion de mémoire partagée et de sécurité pour agents IA locaux, et le produit devrait arriver à l'automne 2026 à un prix très premium.