HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6614 articles Page 246/662 Sans filtre

06:00

The Greatest Shot in Television: James Burke Had One Chance to Nail This Scene (2024)

Le clip de 80 secondes montre un lancement de fusée filmé en une prise, dans lequel James Burke explique comment des gaz liquéfiés stockés dans un thermos peuvent être mélangés et enflammés pour provoquer le décollage. On admire son sang-froid technique et la synchronisation parfaite du plan, qui sert de conclusion à un épisode de 50 minutes partant des cartes de crédit et retraçant l'invention d'objets allant de l'armure médiévale aux conserves et à la climatisation jusqu'au Saturn V. L'émission Connections, diffusée en 1978, retrace les évolutions majeures des sciences et des techniques et se distingue par son audace intellectuelle et visuelle, illustrée par ce plan souvent qualifié de "meilleur" à la télévision. Le passage a été visionné près de 18 millions de fois sur YouTube et comporte un léger artifice de montage où Burke marche vers un plan déjà préparé, ce qui n'atténue pas l'impact global. La phrase de clôture évoquant « destination : la lune, ou Moscou… les planètes, ou Pékin » pouvait sembler datée auparavant, mais elle prend aujourd'hui une résonance différente.

06:00

7 lines of code, 3 minutes: Implement a programming language (2010)

L'article présente l'intérêt pédagogique et ludique d'implémenter un langage de programmation pour approfondir la compréhension du calcul. Il propose un interpréteur minimaliste de sept lignes en Scheme qui évalue une variante du lambda-calcul en utilisant les fonctions eval et apply. Une réécriture en Racket améliore la lisibilité grâce au motif match, et un interpréteur plus complet d'environ cent lignes ajoute liaisons top-level, récursion explicite, effets de bord et fonctions d'ordre supérieur. Le texte rappelle les fondamentaux du lambda-calcul, son équivalence à la machine de Turing, les fonctions anonymes, les appels et des notions clés comme closures et environnements. L'approche permet d'expérimenter rapidement de nouvelles idées de langage en séparant la syntaxe (analyse) de la sémantique et en offrant une base facilement extensible.

06:00

Local AI needs to be the norm

De nombreux développeurs intègrent des appels API vers des modèles cloud (OpenAI, Anthropic) pour ajouter des fonctionnalités, ce qui crée des dépendances externes pour les applications. Cette pratique rend les logiciels fragiles et soulève des problèmes de confidentialité, de rétention des données, de facturation et de disponibilité réseau. L'auteur préconise de privilégier le traitement local sur les appareils, en donnant l'exemple de résumés générés sur iOS avec les APIs de modèles locaux d'Apple, sans envoi de contenu au serveur. Il décrit aussi une approche structurée consistant à définir des types Swift et à guider le modèle pour obtenir des sorties typées et exploitables plutôt que du texte non structuré. Les modèles locaux peuvent être moins puissants que le cloud mais suffisent pour des tâches de transformation de données (résumer, classifier, extraire) et il recommande d'utiliser le cloud seulement quand c'est nécessaire.

06:08

Removing fsync from our local storage engine

Les auteurs ont conçu un moteur KV mono‑nœud qui évite d'appeler fsync pour PUT et DELETE en s'appuyant sur des fichiers préalloués de taille fixe, des extents pré‑zéroisés, des E/S O_DIRECT et un journal avec commits alignés sur l'unité d'écriture atomique du SSD. Le moteur déplace la frontière de durabilité hors du système de fichiers en contrôlant l'allocation, le journal et la récupération, le journal ne contenant que des changements d'index et de carte d'espace et acceptant des commits atomiques de 4 Ko pour garantir la cohérence sans fsync. La zone de données utilise une carte d'espace en mémoire permettant des allocations prévisibles, des suppressions bon marché et des politiques de placement flexibles, tandis que la pré‑zéroisation après fallocate évite les conversions d'extents non écrits pendant l'exécution. Sur un benchmark 4 Ko random‑write sur NVMe local AWS i8g.2xlarge, le moteur a atteint environ 190 985 objets/s contre 116 041 objets/s pour ext4+O_DIRECT+fsync, avec latences moyennes et p99 nettement meilleures. Les limites incluent la nécessité d'un contrat de durabilité SSD strict (écritures directes et commits atomiques), l'inadaptation aux HDD, l'absence de fonctionnalités d'un moteur KV généraliste ou de transactions complexes, et le fait qu'il repose encore sur un système de fichiers plutôt que l'accès direct au bloc.

06:08

GrapheneOS fixes Android VPN leak Google refused to patch

GrapheneOS a publié une mise à jour qui corrige une vulnérabilité permettant à certaines applications de contourner le VPN Android et de révéler l'adresse IP réelle de l'utilisateur même avec "Always-On VPN" et "Block connections without VPN" activés. Le problème, présent sous Android 16, provenait d'une optimisation liée à la fermeture de connexions QUIC qui permettait à une application disposant seulement des permissions INTERNET et ACCESS_NETWORK_STATE d'enregistrer des charges utiles UDP arbitraires auprès de system_server. Lorsque le socket UDP de l'application était détruit, system_server pouvait envoyer la charge utile directement sur l'interface réseau physique au lieu du tunnel VPN, contournant ainsi les protections de routage du VPN. GrapheneOS a neutralisé la faille en désactivant l'optimisation registerQuicConnectionClosePayload dans la version 2026050400, tandis que Google avait jugé le problème "Won't Fix (Infeasible)" et a autorisé la divulgation publique. La mise à jour contient également le patch de sécurité Android de mai 2026, des améliorations hardened_malloc, des mises à jour du noyau Linux et d'autres correctifs, et un contournement temporaire possible sur Android stock consiste à désactiver le flag close_quic_connection via ADB, ce qui nécessite un accès développeur.

06:08

The Trail of Jeremiah

Un homme barbu est laissé seul dans la neige après le départ d'un hélicoptère, scène qui illustre le goût pour la solitude sauvage évoqué par le film Jeremiah Johnson. Robert Redford, acteur et réalisateur, a toujours estimé Jeremiah Johnson en grande partie parce que le film a été tourné dans les montagnes de l'Utah qu'il aimait et parce qu'il cherchait une forme d'authenticité face à l'artifice du cinéma. Pour préserver cette authenticité il a résisté aux exigences des studios, a pris des risques financiers pour tourner en décors réels et a fondé plus tard Sundance, théâtre de sa tension constante entre carrière cinématographique et vie en retrait. L'essai analyse aussi le pouvoir d'attraction du mythe du trappeur solitaire et le déconstruit en montrant sa violence coloniale, ses légendes amplifiées, et les lectures contemporaines diverses, y compris celles d'Autochtones. À travers des anecdotes personnelles et une visite à Sundance après la mort de Redford, l'auteur conclut que la tension entre retraite et engagement a façonné la vie de Redford et reste une aspiration paradoxale et durable.

06:07

The ROKR wooden typewriter: a closer look

Le kit de machine à écrire en bois de ROKR s'avère capable d'imprimer réellement en majuscules, offrant une expérience de frappe mécanique malgré une fluidité et une fiabilité moindres que les machines professionnelles. Le projet a été initié par le product manager Yifan Zhu et conçu par Yuzhen Wang et Chaorui Guo, avec environ un an et demi de développement. L'appareil est principalement constitué de pièces en bois découpées au laser, complétées par des éléments en plastique et métal, et l'équipe a redessiné les mécanismes de touche, de frappe et d'avance de ligne, déposant des brevets pour ces innovations. Pour simplifier l'assemblage et garantir la stabilité, la fonction de passage en minuscules a été supprimée et la rangée de chiffres retirée, tandis que des contrepoids métalliques et une plaque d'impact ont été ajoutés pour recréer la sensation du coup de marteau. Proposé en versions Classic et Magic, le kit vise les amateurs de rétro et d'expériences STEAM en offrant une alternative tactile aux claviers numériques et suscite un certain engouement culturel.

06:07

How LEDs are made (2014)

Pendant une visite à l'usine de Shenzhen, l'équipe a été reçue par YunSun et guidée par Merry Xiao pour découvrir la fabrication des LED. Le processus observé comprend des feuilles de dies achetées à un fabricant taïwanais, l'utilisation de cadres métalliques, l'application d'adhésif pour fixer les dies et leur positionnement manuel. Les opérateurs alignent manuellement les dies sur les cadres avant le micro-soudage par fil d'or, et la plupart des opérations se déroulent en atmosphère ouverte plutôt qu'en salle blanche. Après le micro-soudage, les cadres sont moulés avec de la résine époxy, cuits, puis les pièces sont découpées, testées individuellement à l'aide de broches pogo et séparées du cadre. La production est limitée par un écosystème de fournisseurs spécialisés pour les moules et composants, et l'usine compacte dispose de plusieurs lignes permettant différentes formes, tailles et couleurs d'LED.

06:07

Show HN: Countries where you can leave your MacBook at a random coffee shop

La moyenne mondiale du sondage est de 53 %. Les résultats par pays varient fortement, allant de 0 % dans plusieurs pays à 100 % dans de nombreux autres. Les États-Unis affichent un score élevé de 85 % avec 20 votes, tandis que le Japon est à 0 % avec 14 votes, montrant des tailles d'échantillon inégales. Plusieurs pays (Canada 36 %, Allemagne 56 %, Royaume‑Uni 83 %, France 50 %) présentent des résultats intermédiaires, mais le nombre de votes est souvent très faible par pays. La légende mentionne des catégories comme safe, risk, no data et low conf, ce qui indique une confiance limitée pour de nombreux pays en raison des petits échantillons.