📰 Tech Trends Daily — Lundi 3 août 2026

🔥 Point fort du jour

La une du lundi, c’est Karpathy qui décerne son « diplôme » au benchmark d’image « pelican on a bicycle » (375 points, meilleur score HN du jour) — il laisse entendre que ce test, popularisé par Simon Willison en 2024, est désormais à la portée des modèles. Les commentaires se sont immédiatement scindés en deux camps : d’un côté ceux qui rappellent que les pelicans générés ont toujours deux pattes du même côté du vélo, voire deux becs, et que parler de réussite relève de l’auto-illusion ; de l’autre, ceux pour qui le débat a déjà dégénéré en querelle de goût (« lequel est le plus joli ? ») — ce qui est en soi la preuve que les modèles ne ratent plus le test de façon spectaculaire. Les deux lectures se défendent : le pouvoir discriminant du benchmark s’est bien épuisé, mais le déclarer « résolu » est une autre affaire. Le deuxième fil est plus intéressant encore : le bug de soundness #14576 du noyau de Lean a été mis au jour par un LLM qui prétendait « réfuter » la conjecture de Collatz — le contre-exemple annoncé n’était en réalité qu’un artefact de la faille du noyau. La vérification formelle promettait d’en finir avec les « hallucinations » de l’IA ; c’est la chaîne de confiance du vérificateur lui-même qui a cédé en premier. Troisième fil, la grande déferlante nostalgique : NetBSD 11.0 est officiellement sorti (99 points, premier sur Lobsters), RISC OS Open fête ses vingt ans, un modèle de langage autorégressif tourne sur un 6502, CP/M-386 renaît de ses cendres — les vieilles plateformes deviennent un refuge à l’ère de l’IA.

🤖 IA & LLM

  • Le Pelican de Karpathy — Karpathy’s Pelican. 375 points / 296 commentaires (HN). Le meilleur score du jour : Karpathy laisse entendre que le benchmark « pelican on a bicycle » est tombé. 💬 Morromist ouvre le feu — les pelicans produits par l’IA ont toujours deux pattes du même côté du vélo, voire deux becs ; « changer de test » ne veut pas dire « réussir le test » ; jonas21 rétorque que le débat est tombé au niveau du goût (« lequel est le plus beau ? »), ce qui est précisément le signe que les modèles ne ratent plus de façon spectaculaire.
  • Mon benchmark IA personnel : générer un SVG de grenouille à la mâchoire de Habsbourg — My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw.”. 76 points / 42 commentaires (HN). La forme ultime du benchmark personnel — demander au modèle un SVG de grenouille doté de la fameuse mâchoire des Habsbourg : un exercice qui conjugue maîtrise du codage SVG et connaissances historiques obscures, autrement plus de personnalité que n’importe quelle suite de benchmarks.
  • Un modèle de langage autorégressif sur processeur 6502 — Autoregressive Language Model on the 6502 Processor. 14 points / discussion en cours (HN). L’approche de quantification BitNet déclinée jusqu’à un CPU 8 bits — le 6502 fait tourner un modèle autorégressif : les performances importent peu, « ça tourne » est déjà du romantisme hardcore.
  • Je choisis (presque) mes modèles à la vitesse, pas à l’intelligence — I’m (mostly) picking models on speed now, not intelligence. △16 / 9 commentaires (Lobsters). L’article d’opinion : l’écart d’intelligence entre modèles importe peu pour les tâches quotidiennes, c’est la latence qui fait la différence d’expérience — en écho au post de Karpathy, les critères d’évaluation passent du « est-ce qu’il sait faire » au « est-ce qu’il va vite ».
  • Les mathématiques sans mathématiciens — Mathematics Without Mathematicians. △10 / 8 commentaires (Lobsters). La déconstruction de l’idée selon laquelle « les maths n’auraient plus besoin de mathématiciens » à l’ère des LLM — l’IA accélère le calcul et la vérification, mais l’art de poser les questions reste humain.
  • Éviter la dette cognitive en retapant à la main le code généré par les LLM — Prevent cognitive debt by manually retyping LLM-generated code. △25 / 12 commentaires (Lobsters). Le conseil à contre-courant : retaper à la main le code généré par l’IA avant de le committer, échanger de la mémoire musculaire contre de la compréhension — la moitié des commentaires y voit une performance artistique, l’autre admet que ça marche.
  • OpenAI : dix avancées en mathématiques et en informatique théorique — Ten advances in mathematics and theoretical computer science. △13 / 1 commentaire (Lobsters). OpenAI récapitule les progrès mathématiques de ses modèles — publié le même jour que le post sur le bug de soundness de Lean : un timing pour le moins délicat.
  • 23 langages, un seul que je sais vérifier — 23 languages, one I can check. △1 / 2 commentaires (Lobsters). Un projet écrit dans 23 langages avec l’aide d’un LLM, dont l’auteur ne sait en vérifier qu’un seul — la question de la conscience de soi à l’ère du vibe coding.

🛠️ Outils, Infrastructure & Expérience Développeur

  • Meshdiff : comparer visuellement deux versions de STL dans le navigateur, côté client — Meshdiff – visually compare two STL versions in the browser, client-side. 170 points / 17 commentaires (HN). L’outil de diff visuel pour fichiers d’impression 3D, entièrement exécuté côté client. 💬 Le consensus des commentaires est clair : les trois vues manquent de rotation synchronisée, on aimerait une intégration dans les PR GitHub pour la revue de fichiers 3D, et une version CLI pour la CI — tout est déjà sur la roadmap de l’auteur, la demande a fait le tri des priorités à sa place.
  • Show HN : MicroCodex – OpenAI/codex réécrit en C++, binaire sous 1 Mo — Show HN: MicroCodex Coding Agent. 11 points / 3 commentaires (HN). Un agent de codage dans moins de 1 Mo — face aux suites Electron de plusieurs centaines de Mo, il gagne au moins sur le terrain de la légèreté.
  • Ajouter le defer de Go au compilateur TypeScript — Adding Go’s Defer to the TypeScript Compiler. 13 points / 4 commentaires (HN). L’expérience d’ajout du mot-clé defer au compilateur TS — de la théorie des compilateurs de niveau introductif, mais très bien expliquée : modifier un compilateur est nettement plus amusant que d’écrire du code métier.
  • Un clone de Fasttracker II en C avec SDL2 — Fasttracker II clone in C using SDL 2. 108 points / 36 commentaires (HN). Le clone open source du célèbre logiciel de musique tracker — les commentaires ne jurent que par « mes jeunes années sont de retour ».
  • FlickBoard — FlickBoard. △11 / 2 commentaires (Lobsters). Une méthode de saisie flick pour Android — l’interaction à l’ancienne par glissement renaît à l’ère des écrans tactiles.
  • Un EPIPE à l’écriture, c’est peut-être que vous vous y prenez mal — EPIPE on write might mean you’re doing it wrong. △18 / 4 commentaires (Lobsters). La thèse classique de rachelybythebay : l’EPIPE n’est pas une panne aléatoire, c’est une erreur d’appréciation du cycle de vie du pipe — une leçon de sémantique Unix.
  • Le projet Fixi — The Fixi Project. △24 / discussion en cours (Lobsters). Un nouveau projet sur Lobsters, étiqueté practices — la communauté continue d’inventer de nouveaux vecteurs de pratiques d’ingénierie.
  • Prise de notes et gestion des connaissances personnelles — Note-Taking and Personal Knowledge Management. 94 points / 26 commentaires (HN). La méta-discussion du PKM — pourquoi les systèmes de notes sont toujours construits puis abandonnés ; parmi les 26 commentaires, certains vont plus loin que l’article lui-même.
  • Les développeurs sont attachés à leurs outils parce que les outils encodent la confiance — Developers are attached to tools because tools encode trust. 118 points / 58 commentaires (HN). Le blog de Stack Overflow sur la fidélité aux outils — le consensus des 58 commentaires : le coût du changement d’outil n’a jamais été la courbe d’apprentissage, c’est la réévaluation de la question « cet outil mérite-t-il ma confiance ? ».

🔒 Sécurité & Vie privée

  • Root, analyse de firmware et identifiants persistants sur le TP-Link TL-841N — Rooting, firmware analysis and persistent credentials of TP-Link TL-841N. 74 points / 14 commentaires (HN) + △6 / 1 commentaire (Lobsters). Le reverse engineering du firmware d’un vieux routeur : des identifiants codés en dur que même une réinitialisation d’usine n’efface pas — la dette de sécurité de l’IoT bon marché, vendue pièce par pièce.
  • Moisson de credentials SSH : ce que m’a appris mon réseau de honeypots — Harvesting SSH Credentials: Insights from My Honeypot Network. 32 points / 24 commentaires (HN). Le rapport de données d’un honeypot : les attaques par force brute SSH ont lieu chaque minute sur Internet, et la qualité des identifiants est meilleure qu’on ne l’imagine — les commentaires rappellent, comme toujours, que « fail2ban n’est qu’un placebo ».
  • Le projet européen de vérification d’âge impose une attestation liée au matériel — EU Age Verification Project Mandates Hardware-Bound Attestation. 85 points / 35 commentaires (HN). Le dispositif européen de vérification d’âge exige une attestation au niveau matériel — navigateurs et fabricants d’appareils se retrouvent contraints de jouer les « police de l’âge », et les commentaires s’inquiètent : « l’attestation matérielle finira en surveillance par empreinte d’appareil ».
  • Les demandes de suppression de données des Californiens (DROP) sont exécutoires depuis le 1er août — Californians’ data deletion requests, DROP, become enforceable Aug. 1. 26 points / 1 commentaire (HN). Le droit à la suppression californien entre en phase exécutoire — l’entrée en vigueur du texte n’est que le début : la vraie question est de savoir si les entreprises sont capables de retrouver et de supprimer toutes vos données.
  • « Crush this lady » : comment la campagne de harcèlement d’eBay a mené à un règlement de 56 M$ — ‘Crush this lady’: how eBay harassment campaign led to $56M payout. 137 points / 60 commentaires (HN). La longue enquête du FT sur le harcèlement orchestré par des cadres d’eBay — des asticots vivants expédiés par courrier aux lettres de menaces, le récit de l’abysse de discernement de dirigeants de la tech ; les 60 commentaires répètent tous « c’est pourtant vrai ».

💻 Systèmes & Plateformes

  • NetBSD 11.0 est sorti — NetBSD 11.0 released. △99 / 18 commentaires (Lobsters). Le meilleur score du jour sur Lobsters. 💬 Les points forts des commentaires : l’équipe reconnaît ouvertement la « vulnpocalypse » — les outils IA font exploser le nombre de rapports de failles, autant publier en toute transparence avec des issues ouvertes que repousser sans fin ; nouveau support de l’architecture RISC-V, avec déjà plus de 20 000 paquets pkgsrc pour riscv64 ; un utilisateur est passé de Linux à NetBSD comme OS principal à cause des commentaires de Linus sur les LLM, et un autre a acheté une carte de développement RISC-V rien que pour l’occasion.
  • RISC OS Open fête ses vingt ans — Twenty Years of RISC OS Open. 143 points / 27 commentaires (HN) + △5 / 0 commentaire (Lobsters). L’OS de l’ère Acorn est open source depuis vingt ans. 💬 Le vieux développeur nickcw se souvient de son application !Director écrite entièrement en assembleur ARM ; d’autres rappellent que le logiciel de notation musicale Sibelius est né sur RISC OS — bien plus vivant que ce que laisse entendre un « projet de musée ».
  • Show HN : Kakehashi – un espace utilisateur expérimental pour exécuter des binaires macOS sur Linux ARM — Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM. 152 points / 35 commentaires (HN). Le « Wine » de macOS : exécuter directement les binaires Mach-O en espace utilisateur. 💬 L’auteur vlad_kalinkin répond en personne : 7-Zip fonctionne (5,2 fois plus lent que le natif, avec une feuille de route d’optimisation), plus de 200 commandes curl passent les tests automatisés, les commandes Git de base de Xcode sont utilisables ; l’objectif à long terme couvre Xcode Tools complet (y compris les builds iOS) et Homebrew pour macOS. Les commentaires le comparent à Darling — l’auteur précise qu’il ne s’agit pas d’un fork.
  • Show HN : NixOS-DGX-Spark – faire tourner NixOS sur la DGX Spark — Show HN: NixOS-DGX-Spark. 81 points / 22 commentaires (HN). La station de travail IA personnelle de NVIDIA passe sous NixOS — une tentative de faire prendre en main le matériel IA par un système déclaratif ; les commentaires débattent des frictions entre les drivers CUDA propriétaires et Nix.
  • Démission d’Arch Linux — Resigning from Arch Linux. △44 / 4 commentaires (Lobsters). Foxboron (membre central de l’équipe sécurité d’Arch, auteur de sbctl) annonce son départ — avec la désactivation de l’adoption des paquets AUR hier, les deux faces d’une même pression de gouvernance. 💬 novedeo : « la pression sur l’équipe sécurité d’Arch et les mainteneurs de l’AUR est visible à l’œil nu depuis des mois ».
  • Partager un serveur X11 entre plusieurs machines : FamilyWild — Sharing an X11 Server Across Hosts with FamilyWild. 23 points / 5 commentaires (HN). Mettre un serveur X11 en commun entre plusieurs hôtes — le protocole X sait encore réserver des surprises à l’ère de Wayland.
  • MkLinux et la Apple Workgroup Server 9150 survitaminée — MkLinux and the pimped-out Apple Workgroup Server 9150. △12 / 3 commentaires (Lobsters). L’archéologie nostalgique du port Linux officiel d’Apple des années 90 — du oldvcr.blogspot, avec la qualité d’images habituelle.
  • CP/M-386 : CP/M pour le mode protégé du 386, dérivé de CP/M-68K — CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K. △2 / discussion en cours (Lobsters). Le projet d’archéologie qui porte CP/M vers le mode protégé du 386 — le même jour que le LLM sur 6502 : les deux extrêmes du calcul rétro.
  • Mais votre calculatrice peut-elle faire tourner Linux ? — But can your calculator run Linux?. △27 / 2 commentaires (Lobsters). raymii bricole une calculatrice graphique pour y faire tourner Linux — « est-ce que ça fait tourner Linux » est devenu l’étalon universel du matériel.
  • Peut-on fabriquer une manette Wii U avec une Raspberry Pi ? — Can you make a Wii U gamepad from a Raspberry Pi?. △2 / discussion en cours (Lobsters). La vidéo de bidouille matérielle — une fois le protocole de streaming d’écran du Wii U GamePad rétro-ingéniéré, la Raspberry Pi devient un remplaçant bon marché.

💬 Langages de programmation

  • F* : un langage de programmation généraliste orienté vers la preuve — F*: A general-purpose proof-oriented programming language. 139 points / 61 commentaires (HN). Le langage à types dépendants de Microsoft Research en une du jour. 💬 Le commentaire le plus voté est une plainte : cinq pages de site sans trouver un seul exemple de code — « pour un nouveau langage, je veux deux choses : à quoi ressemble la syntaxe et pourquoi l’utiliser » ; le problème de mise en marché des langages de vérification formelle est plus urgent que leurs problèmes techniques.
  • Analyse post-mortem du bug de soundness du noyau Lean #14576 — Postmortem for Lean Kernel Soundness Bug #14576. △48 / 3 commentaires (Lobsters). L’analyse écrite en personne par Leo de Moura. 💬 Le contexte est plus explosif que le bug lui-même : la faille a été mise au jour par un LLM qui prétendait « réfuter » la conjecture de Collatz — le contre-exemple annoncé n’était que le produit de la faille du noyau ; l’auteur savait que le bug existait, mais refuse de dire si la preuve avait été construite contre lui ; la faille touche à la fois l’implémentation principale du noyau et le vérificateur indépendant — l’hypothèse d’indépendance s’effondre.
  • sizeof est étonnamment difficile à parser en C — sizeof is surprisingly difficult to parse in c. △45 / 31 commentaires (Lobsters). L’ambiguïté type/expression de sizeof fait grincer tous les parseurs C. 💬 david_chisnall apporte la réponse historique : le C n’est pas parti d’une grammaire formelle, la syntaxe était « ce que les compilateurs acceptaient » ; la normalisation C89 a dû définir des règles d’analyse pour ne pas casser le code existant, et la mémoire limitée des premiers compilateurs a enfanté des astuces d’analyse économe en état — la complexité d’aujourd’hui est un héritage des contraintes matérielles des années 70.
  • Les méthodes gardées en OCaml — Guarded methods in OCaml. △11 / 1 commentaire (Lobsters). Des notes de conception de langage sur l’expression des motifs guard dans le système de types d’OCaml — la compétition interne habituelle de la communauté fonctionnelle.
  • Un regard ancien-nouveau sur l’analyse d’arguments en Rust — An old-new take on argument parsing in Rust. △28 / 7 commentaires (Lobsters). jmmv prône un retour aux designs old-school façon getopt et défie l’hégémonie de clap — dans la même veine que le fork de rand hier : l’écosystème Rust commence à se rebeller contre des bibliothèques officielles jugées trop grosses.
  • À quelle vitesse va le std::hive de C++26 ? — How fast is C++26’s std::hive?. △9 / 3 commentaires (Lobsters). Daniel Lemire met le nouveau conteneur à l’épreuve — l’avantage de hive dans les scénarios hostiles au cache, les données parlent.
  • Des calculs en virgule flottante plus rapides avec la nouvelle API de Rust — Faster floating point math with Rust’s new API. △6 / 4 commentaires (Lobsters). Les mesures de la nouvelle API flottante de Rust — le guide de micro-optimisation pour les scénarios sensibles aux performances.
  • Atom est meilleur que RSS, sur des points qui comptent — Atom is better than RSS, in ways that matter. △64 / 53 commentaires (Lobsters). La guerre des formats fait rage sur Lobsters. 💬 emk (qui avait travaillé avec Dave Winer à l’époque du RSS) revient longuement : la rdfisation de RSS 1.0 a complexifié un format simple au point que personne ne pouvait l’implémenter correctement, et les prédictions de Shirky se sont toutes réalisées ; la proposition de « renommer Atom en RSS 3 » reçoit une douche froide — le nom RSS 3 est déjà pris, et le camp Winer serait prêt à en découdre pour la marque.

📚 Léger / Amusant

  • Les globes terrestres en papier plié — Folding Paper Globes. 134 points / 28 commentaires (HN). Des gabarits imprimables de globes en origami — la Terre dépliée en un plan mathématiquement pliable ; les 28 commentaires ne disent que « imprimé, et c’est magnifique ».
  • L’époque où les tickets de bus étaient dessinés à la main (2022) — When transit passes were designed by hand (2022). 87 points / 28 commentaires (HN). La collection de tickets de transport de Milwaukee du Letterform Archive — un coin oublié de l’histoire du design imprimé.
  • Le mythe de Snow Leopard — The Myth of Snow Leopard. 28 points / 23 commentaires (HN). La déconstruction du récit nostalgique « Mac OS X 10.6, le système parfait » — les commentaires fouillent l’histoire tout en se disputant : « Snow Leopard était-il vraiment rapide ? ».
  • Lisez des romans, et oubliez tout le reste — Read the Novels and Forget Everything Else. 21 points / 5 commentaires (HN). L’exhortation littéraire du Hedgehog Review — l’argumentaire pour la lecture de romans à l’ère de la surcharge informationnelle.
  • Getting Started with Google Wave (2010) — Getting Started with Google Wave (2010). △12 / 7 commentaires (Lobsters). L’archéologie du tutoriel officiel de Google Wave — le cas le plus célèbre de « lancement au sommet » de l’histoire des produits internet.
  • Et votre site web, il est où ? — Where’s your website?. △21 / 19 commentaires (Lobsters). Un nouveau manifeste du mouvement de renaissance des sites personnels — la moitié des 19 commentaires exhibe fièrement sa propre page d’accueil.
  • Show HN : faites sonner votre Framework 12 comme une porte qui grince — Show HN: Make your Framework 12 sound like a creaky door. 33 points / 2 commentaires (HN). Ajouter des effets sonores de grincement à un ordinateur portable réparable — l’humour des bidouilleurs matériels ; les 2 commentaires demandent « pourquoi ».
  • Test du TinyNES : une console NES ultra-niche — TinyNES Review – A Super Niche NES Console. 16 points / 1 commentaire (HN). Le test de la TinyNES par Lon.TV — une vieille vidéo de 2023 revenue en une : la fièvre du matériel rétro ne retombe pas.
  • Comment les mots que nous enseignons aux apprenants d’anglais ont changé — How the words we teach English language learners changed. Nouveau post à faible score (HN). La visualisation de données du Pudding : l’évolution des listes de vocabulaire essentiel des manuels d’anglais sur plusieurs décennies — un modèle de data-journalisme, qui n’a malheureusement pas fait de vagues sur HN.

📝 Résumé

Top 3 à lire absolument : le post du Pelican de Karpathy (375 points — voir les deux camps s’écharper sur la saturation du benchmark), l’analyse post-mortem du bug de soundness de Lean #14576 (△48 sur Lobsters — le rapport d’incident de première main sur la chaîne de confiance de la vérification formelle), et la sortie de NetBSD 11.0 (△99 sur Lobsters — le support RISC-V et la stratégie de publication honnête face à la « vulnpocalypse »).

Le fil du jour : l’examen de l’IA glisse des résultats vers la chaîne de confiance. Karpathy diplôme le benchmark pelican, certains choisissent leurs modèles à la vitesse : l’anxiété d’évaluation reflue. Mais le bug de soundness du noyau Lean mis au jour par une prétendue réfutation de Collatz par un LLM, et la « vulnpocalypse » que NetBSD associe à l’IA, rappellent la même chose : la fiabilité d’une sortie de modèle dépend de la fiabilité de ceux qui la vérifient.

Signaux transversaux : le calcul rétro (LLM sur 6502, CP/M-386, MkLinux, vingt ans de RISC OS) cohabite en une seule page avec la frénésie IA — le matériel ancien devient l’exutoire mental de ceux que l’IA fatigue.