QuadRF traverse les murs, GPT-5.6 démontre une conjecture mathématique, Apple poursuit OpenAI pour vol de secrets industriels

Sources : HN Top 30 + Lobsters Top 25. Browser opérationnel, exploration des commentaires : HN Top 5 + Lobsters Top 5.

🔥 Point fort du jour

La une d’aujourd’hui est coupée en deux par deux publications : le test du QuadRF par Jeff Geerling (383 points) incarne l’excitation brute de l’ingénieur face au matériel — une radio logicielle 4×4 MIMO capable de cartographier les signaux WiFi en surcouche AR, vous permettant de « voir » les signaux RF à travers les murs. De l’autre côté, GPT-5.6 Sol Ultra a démontré la conjecture du Cycle Double Cover en théorie des graphes (263 points), transformant en PDF un problème qui résistait aux mathématiciens depuis plus de quarante ans. Ces deux publications illustrent parfaitement les deux pôles de la tech en 2026 : d’un côté le plaisir de la rétro-ingénierie du monde physique, de l’autre l’automatisation du raisonnement symbolique pur — et cette dernière suscite bien plus d’anxiété que la première, les commentaires glissant rapidement vers l’éternel débat : « L’automatisation par l’IA doit-elle remplacer les programmeurs ou les autres ? »

Un signal sous-estimé mérite l’attention : Apple poursuit OpenAI pour vol de secrets industriels. La plainte allègue que d’anciens employés d’Apple ont emporté des données de conception matérielle et d’entraînement IA en rejoignant OpenAI. Le même jour où GPT-5.6 démontre une conjecture mathématique, une guerre de brevets éclate — la course à l’armement en IA passe des articles scientifiques aux tribunaux.

🤖 IA & LLM

• GPT-5.6 Sol Ultra a démontré la conjecture du Cycle Double Cover — GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture. 263 points / 224 commentaires (HN). Une conjecture de théorie des graphes restée ouverte depuis plus de quarante ans, démontrée par un modèle — le papier se suffit à lui-même comme signal. 💬 Dans les commentaires, plaidfuji fait une observation très juste : l’automatisation par l’IA perce le plus facilement dans les domaines où « la correction est vérifiable + l’expression est textuelle + il existe de nombreux précédents en ligne » — précisément le travail des programmeurs et des mathématiciens. Les architectes IA extrapolent donc à tort de leurs propres gains de productivité à un chômage généralisé.

• Comment Boko Haram utilise l’IA de pointe — How the terrorist group Boko Haram uses frontier AI. 140 points / 117 commentaires (HN). Le rapport de terrain du CASP documente l’utilisation par Boko Haram de grands modèles de langage pour la génération de propagande et la reconnaissance de cibles — la militarisation de l’IA que redoutait la communauté sécurité est déjà une réalité en Afrique, avec au moins deux ans d’avance sur la plupart des prévisions des think tanks occidentaux.

• AI 2040 : Plan A — AI 2040: Plan A. 89 points / 51 commentaires (HN). Une projection panoramique des quinze prochaines années de l’IA, qui tente d’éviter les deux récits extrêmes — « l’AGI arrive demain » et « l’IA n’est que du vent » — pour tracer une feuille de route dans l’entre-deux.

• Prismata : confiner les injections de prompt intersites dans les agents Web — Prismata: Confining cross-site prompt injection in web agents. 9 points (HN). Un papier arXiv propose un cadre de défense contre les injections de prompt ciblant les agents web — avant que les agents ne soient déployés à grande échelle, l’infrastructure de sécurité doit être en place. Ce papier arrive à point nommé.

• Postgres réécrit en Rust, 100 % des tests de régression validés — Postgres rewritten in Rust, now passing 100% of the Postgres regression tests. 11 points / 9 commentaires / tags : databases, vibecoding (Lobsters). Un développeur indépendant a réécrit l’intégralité de Postgres en Rust en utilisant le vibe coding — le tag « vibecoding » n’est pas un hasard. La communauté Lobsters est profondément divisée : certains y voient un jalon majeur pour l’écosystème Rust, la plupart doutent de la viabilité en production.

🛠️ Matériel / Outils

• QuadRF : une SDR capable de repérer des drones et de voir le WiFi à travers les murs — QuadRF can spot drones and see WiFi through my wall. 383 points / 151 commentaires (HN). Jeff Geerling passe en revue une radio logicielle open source 4×4 MIMO — en superposant une carte thermique RF via la caméra d’un smartphone, on peut voir en temps réel le trajet des signaux WiFi à travers les murs. 💬 Le créateur mrtnmcc est intervenu dans les commentaires pour détailler l’architecture : un ADC 1-bit ΣΔ à suréchantillonnage sur mesure (704 MSPS) via des récepteurs LVDS sur FPGA, pour un coût BOM nettement inférieur aux SDR traditionnelles.

• Les bons outils sont invisibles — Good Tools Are Invisible. 318 points / 147 commentaires (HN). Un billet de Ginger Bill (créateur du langage Odin) : un outil vraiment bon ne devrait pas exiger que vous « appreniez à l’utiliser » — il devrait faire le travail sans que vous le remarquiez. Les 318 points montrent que cette idée résonne fortement chez les développeurs, en particulier ceux épuisés par la complexité des SaaS.

• Simulateur web de moteur à combustion — Combustion engine web-based simulator. 91 points / 39 commentaires (HN). Un simulateur web du fonctionnement d’un moteur à combustion interne, avec réglages de tous les paramètres pour observer le cycle à quatre temps — le contenu parfait pour un week-end.

• Comment fabriquer une horloge LCD circulaire — How to build a circular LCD clock. 22 points / 3 commentaires (Lobsters). Projet de week-end pour hardware hacker — dessiner son propre cadran sur un écran LCD circulaire, de la conception du PCB au firmware, documenté de bout en bout.

🦀 Langages de programmation / Outils de développement

• Bun réécrit en Rust — Rewriting Bun in Rust. 132 points / 176 commentaires / tags : rust, vibecoding, zig (Lobsters). L’équipe Bun annonce sa migration de Zig vers Rust, justifiée par une chaîne d’outils et un écosystème plus matures. Andrew Kelley, le créateur de Zig, a publié une longue réponse intitulée « My Thoughts on the Bun Rust Rewrite », les deux publications ayant été fusionnées en une seule discussion sur Lobsters. 💬 L’opération de fusion elle-même est devenue le sujet central des commentaires — le post le mieux noté (153 points) proteste : « Mélanger deux articles opposés dans un seul fil est une catastrophe absolue. »

• Rust 1.97.0 publié — Announcing Rust 1.97.0. 62 points / 10 commentaires (Lobsters). Une mise à jour de routine, mais le timing est savoureux — publiée le même week-end que l’abandon de Zig par Bun au profit de Rust. Le champ gravitationnel de l’écosystème Rust dans la programmation système s’accélère.

• Cpp2Rust : traduction automatique de C++ vers du Rust sûr — Cpp2Rust: Automatic Translation of C++ to Safe Rust. 30 points / 16 commentaires (Lobsters). Un outil de traduction automatique de code C++ en Rust sûr — pas une simple correspondance un-à-un, mais une tentative de réécriture utilisant le modèle d’ownership de Rust. Si cet outil arrive à maturité, une voie de migration s’ouvrira pour une énorme quantité de systèmes C++ historiques.

• Scarf a utilisé Haskell pendant 7 ans, et finit par le quitter — After 7 years in production, Scarf has reluctantly moved away from Haskell. 50 points / 71 commentaires (HN) | 10 points / 6 commentaires (Lobsters). Double classement HN + Lobsters. L’équipe Scarf explique les raisons de son départ : recrutement difficile, temps de compilation incontrôlables, coûts d’interopérabilité avec les outils cloud natifs trop élevés. Ce n’est pas le langage lui-même qui est en cause, c’est l’effet d’isolement de son écosystème.

• Dans Emacs, tout ressemble à un service — In Emacs, everything looks like a service. 223 points / 96 commentaires (HN). L’architecture d’Emacs réinterprétée comme une conception orientée services — le buffer est un service de données, le mode un service de comportement, les keybindings une couche de routage. Un billet philosophique du week-end dont le volume de données et de discussions prouve que la communauté Emacs est toujours aussi vivace.

• Une route vers Lisp : pourquoi Lisp — A road to Lisp: Why Lisp. 19 points / 6 commentaires (Lobsters). Un article d’introduction au charme de Lisp — de l’homoiconicité syntaxique au système de macros, une tentative d’expliquer à une nouvelle génération de développeurs pourquoi ce langage vieux de plus de soixante ans suscite encore une dévotion sans faille.

🔒 Sécurité / Vie privée / Droit

• GhostLock : une faille stack-UAF présente dans TOUTES les distributions Linux depuis 15 ans — GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years. 10 points / 3 commentaires (HN). NebuSec a découvert une vulnérabilité de type use-after-free dans le sous-système ionstack du noyau Linux — présente dans le noyau principal depuis 2011, elle affecte toutes les distributions majeures. Ses 10 points sont gravement sous-évalués ; cet article mérite d’être lu dans le texte par tout ingénieur sécurité.

• Apple poursuit OpenAI pour vol de secrets industriels par d’anciens employés — Apple sues OpenAI, accuses ex-employees of stealing trade secrets. 104 points / 50 commentaires (HN). Apple accuse plusieurs anciens employés d’avoir emporté des conceptions matérielles, des données d’entraînement IA et des feuilles de route produits non publiques en rejoignant OpenAI. On n’est plus dans la compétition technologique entre entreprises, mais dans l’affrontement direct par voie judiciaire.

• New York City va interdire les pratiques d’abonnement trompeuses — New York City to ban deceptive subscription practices. 318 points / 181 commentaires (HN). La ville de New York introduit une réglementation anti « junk fees », exigeant que les commerçants affichent le prix total incluant tous les frais obligatoires, et interdisant les renouvellements automatiques difficiles à annuler. 💬 Les commentaires pointent rapidement vers la loi similaire de Californie — la version californienne comportait une échappatoire pour les restaurants, ce qui ne semble pas être le cas de la version new-yorkaise. Si l’application est suffisamment rigoureuse, l’impact sera substantiel sur les SaaS et les abonnements aux salles de sport.

• Proxy résidentiels et lutte anti-scraping : état des lieux — An update on residential proxies and the scraper situation. 59 points / 46 commentaires (HN) | 1 point / 0 commentaire (Lobsters). LWN propose un reportage approfondi sur la course aux armements actuelle du scraping — comment les réseaux de proxy résidentiels contournent les défenses anti-scraping traditionnelles basées sur l’IP, et quelle sera la prochaine étape de la défense des sites web.

🏢 Entreprises Tech / Industrie

• SpaceX veut lancer 100 000 satellites Starlink supplémentaires — SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth. 26 points / 72 commentaires (HN). Après environ 7 000 satellites déjà en orbite, SpaceX en demande 100 000 de plus — cela revient essentiellement à occuper l’orbite terrestre basse. Les préoccupations principales dans les commentaires ne sont pas techniques mais astronomiques (observation du ciel) et liées aux débris orbitaux.

• Comment les entreprises qui réussissent deviennent aveugles — Successful Companies Go Blind. 177 points / 62 commentaires (HN). Une analyse systémique de la raison pour laquelle les entreprises florissantes perdent leur capacité d’innovation au sommet de leur succès — inertie organisationnelle, surcharge d’indicateurs et biais du survivant.

• Geohot : pourquoi je ne streame plus — Punk, or why I don’t stream anymore. 129 points / 171 commentaires (HN). Un billet de George Hotz qui explique son retrait du streaming de programmation à travers le prisme de l’éthique punk. « Le vrai punk n’a pas besoin de public » — du geohot pur jus.

• Le poids des pages compte — Page weight matters. 24 points / 11 commentaires (Lobsters). Une dissection chiffrée de l’obésité du front-end — l’inflation absurde du poids moyen des pages web modernes et ses conséquences bien réelles pour les pays du Sud.

🎮 Léger / Intéressant

• Atlas des guerres : cartographie interactive de chaque guerre nommée de l’histoire humaine — War Atlas: An interactive cartography of every named war in human history. 98 points / 43 commentaires (HN). Une carte interactive recensant toutes les guerres nommées de l’histoire humaine — de l’Âge du Bronze au XXIᵉ siècle, une visualisation de données à l’état pur.

• L’effondrement de la fin de l’Âge du Bronze — Late Bronze Age Collapse. 296 points / 207 commentaires (HN). Un article-fleuve classique du blog ACOUP — expliquant l’effondrement systémique des civilisations méditerranéennes autour de 1200 avant J.-C. 💬 Dans les commentaires, evanjrowley complète avec les travaux d’Eric Cline : la théorie de la sécheresse, ignorée par l’article d’ACOUP, pourrait être le véritable moteur des vagues de migration. Que les lecteurs de HN propulsent un article d’archéologie en tête de page avec 296 points, c’est l’esprit du week-end par excellence.

• Lobsters interviewe Mitchell Hashimoto — Lobsters Interview with mitchellh. 187 points / 21 commentaires (Lobsters). Le créateur de Vagrant, Packer, Terraform et Vault, désormais absorbé par le terminal Ghostty et Vouch. L’entretien se concentre sur son choix de Zig, ce que devrait être un émulateur de terminal, et les limites fondamentales du protocole PTY — il propose une API « n-screen » pour remplacer le modèle maître/esclave actuel.

• Dessiner avec 9front — I Did Not Kill Stanley Lieber: How to draw (with 9front). 66 points / 11 commentaires (Lobsters). Un flux de travail de dessin sur 9front, l’héritier spirituel de Plan 9 — de l’art système dans ce qu’il a de plus ésotérique.

• On m’a payé, utilisateur Linux de longue date, pour utiliser Windows 11 exclusivement pendant un mois — voici comment ça s’est passé — You paid me, a long-time Linux user, to use Windows 11 exclusively for a month. 129 points / 49 commentaires (Lobsters). Une expérience sociale : payer un vétéran de Linux pour qu’il utilise exclusivement Windows 11 pendant un mois. De l’expérience WSL aux publicités dans le menu Démarrer en passant par la torture des redémarrages forcés pour les mises à jour — aussi hilarant que véridique.

• Hannah Montana Linux v26.0 — Hannah Montana Linux v26.0. 32 points / 4 commentaires (Lobsters). Oui, Hannah Montana Linux est toujours vivante et publie une v26.0 basée sur le dernier noyau. Le projet culturel parfait pour un week-end.

📝 Résumé

Le HN du samedi est généralement plutôt détendu, mais la page d’accueil d’aujourd’hui est étonnamment dense. La démonstration mathématique de GPT-5.6 et le test du QuadRF SDR sont deux lectures incontournables — l’une représente un bond en avant de l’IA dans le raisonnement pur, l’autre incarne l’esprit pratique de la communauté du matériel open source. Le procès d’Apple contre OpenAI mérite un suivi attentif : la même semaine où les capacités de l’IA explosent, la guerre juridique entre géants de la tech s’intensifie en parallèle. L’annonce du passage de Bun de Zig à Rust a déclenché 176 commentaires sur Lobsters, et la longue réponse d’Andrew Kelley a rendu ce débat sur les chaînes d’outils encore plus électrique — le choix d’un langage de programmation système n’a jamais été une question purement technique, c’est un pari sur un écosystème.

Priorité de lecture recommandée : Test du QuadRF > Démonstration mathématique de GPT-5.6 > Faille GhostLock > Interview de Mitchell Hashimoto > Effondrement de l’Âge du Bronze.