1008 | De l'espace aux tunnels : les nouvelles du code

Claire Martin: Bonjour à toutes et à tous, vous écoutez notre rendez-vous de la semaine où l'on fait le tour de ce qui s'est écrit sur le web ces dernières heures. Je suis Claire Martin.

Nicolas Moreau: Et moi Nicolas Moreau. Claire, je crois que cette semaine on a un fil rouge assez naturel : on parle beaucoup de logiciels, mais aussi de la façon dont on les écrit, dont on les explique, et même de qui a inventé le mot pour en parler.

Claire Martin: Exactement. On commence par un moment de mémoire, puis on enchaîne sur l'écriture et la technique, l'IA, les preuves, la sécurité, les cartes bancaires, le web, l'open source créatif et on finira par deux histoires assez étonnantes, dont un prix Nobel. Allons-y.

Nicolas Moreau: Alors, cette semaine, on a perdu quelqu'un d'important pour notre métier. Margaret Hamilton est décédée le 30 septembre, à 90 ans.

Claire Martin: Oui, et je pense qu'il faut prendre le temps de dire qui elle était. Elle a dirigé le logiciel du programme Apollo. Et surtout, c'est elle qui a proposé le terme « ingénierie logicielle ».

Nicolas Moreau: C'est fou de se dire qu'à l'époque, ce mot n'existait pas.

Claire Martin: Exactement. Et ça pose une question intéressante : pourquoi ce mot existe-t-il aujourd'hui ? C'est parce qu'elle a estimé que ce qu'on faisait avec le code méritait d'être traité comme une discipline à part entière, avec ses méthodes, ses rigueurs.

Nicolas Moreau: Et ça nous ramène directement à un débat qui traverse les billets de blogs cette semaine : la bonne façon d'écrire et d'expliquer la technique.

Claire Martin: Parfait, on garde ça pour la suite. Mais avant, je pense qu'il faut honorer le chemin parcouru. Elle a ouvert une voie.

Nicolas Moreau: Oui, on lui doit beaucoup.

Claire Martin: Parlons justement de la façon dont on écrit et dont on structure ce qu'on veut dire, que ce soit du code ou du texte.

Nicolas Moreau: Justement, il y a un billet de kagan.in qui a beaucoup circulé, et qui relie un principe simple : « remonter les if, pousser les for ».

Claire Martin: Attends, explique, ça a l'air un peu obscur dit comme ça.

Nicolas Moreau: Eh bien l'idée, c'est une règle de style en programmation. Si tu as une condition, il faut la placer le plus haut possible dans ta logique, et les boucles le plus bas possible, pour rendre le code plus lisible.

Claire Martin: Et ce qui est intéressant, c'est que l'auteur relie ça à des domaines qui n'ont rien à voir avec la programmation au premier abord.

Nicolas Moreau: C'est ça. Il fait le parallèle avec l'optimisation de requêtes en base de données, et aussi avec la théorie des catégories, avec les sous-objets et le filtrage-application.

Claire Martin: Ce qui est amusant, c'est que ça devient une règle presque philosophique, pas seulement une astuce de code.

Nicolas Moreau: Exactement, et ça soulève une vraie question : comment on enseigne ce genre de principes ? Ce n'est pas juste une syntaxe, c'est une façon de penser.

Claire Martin: Oui, et en face, il y a un autre billet, celui de Michael Lynch, publié le 7 octobre 2026, qui liste les anti-modèles de l'écriture de billets de blogs.

Nicolas Moreau: Qu'est-ce qu'il y a dans sa liste ?

Claire Martin: Il parle de l'introduction hors sujet, où on fait des détours avant d'arriver au vif du sujet.

Nicolas Moreau: Ah, je connais bien ça.

Claire Martin: Il parle aussi du lecteur présupposé, où on assume que la personne sait déjà de quoi on parle, et de l'abus de liens, où on noie le propos sous des références.

Nicolas Moreau: Et ce qui est intéressant, c'est que ces deux billets, même s'ils parlent d'un sujet différent, se répondent.

Claire Martin: Oui, parce qu'au fond, la question est la même : comment rendre une idée claire, que ce soit dans du code ou dans un texte ?

Nicolas Moreau: Et ça nous amène tout doucement à la suite, parce que l'écriture claire, c'est aussi ce qu'on attend des modèles d'IA.

Claire Martin: Justement, parlons-en. Cette semaine, il y a eu pas mal de nouvelles de ce côté-là.

Nicolas Moreau: Oui, d'abord GPT-6 est arrivé chez tous les utilisateurs de ChatGPT.

Claire Martin: Et il y a une nouveauté intéressante : l'Intelligent UI.

Nicolas Moreau: C'est-à-dire ?

Claire Martin: Les réponses ne sont plus seulement du texte. Elles contiennent des éléments d'interface interactifs, ce qui change un peu la façon de dialoguer avec un modèle.

Nicolas Moreau: Et de l'autre côté, Anthropic a annoncé Claude Haiku 5.5.

Claire Martin: Qui se présente comme le petit modèle le plus rapide et le plus performant de sa catégorie.

Nicolas Moreau: Et il est environ 75 % moins cher que son prédécesseur.

Claire Martin: En plus, Sonnet 5.5 voit son prix de lecture en cache divisé par deux.

Nicolas Moreau: Ce qui est frappant, c'est la baisse des prix.

Claire Martin: Oui, ça devient de plus en plus accessible.

Nicolas Moreau: Mais justement, tous les acteurs n'en profitent pas de la même manière.

Claire Martin: C'est vrai. Chez Meta et Microsoft, on limite l'usage de Claude en interne.

Nicolas Moreau: Chez Microsoft, le quota mensuel passe de 100 000 dollars à environ 10 000 dollars.

Claire Martin: Et chez Meta, le nombre d'utilisateurs est réduit de moitié.

Nicolas Moreau: Et là, une vraie question se pose : quel effet ces quotas vont-ils avoir sur l'adoption en interne ? Est-ce que ça va freiner certains projets, ou pousser à trouver des alternatives ?

Claire Martin: On ne sait pas encore, et c'est quelque chose qu'il faudra surveiller.

Nicolas Moreau: Et en lien avec tout ça, il y a un autre sujet intéressant : on pousse les modèles à dire moins pour dire autant.

Claire Martin: Exactement, il y a une astuce qui circule, une simple instruction en une phrase pour que le modèle réponde en télégraphème, en Cablese.

Nicolas Moreau: Et ça réduit la taille de la réponse de 40 à 49 %, tout en gardant un taux de fidélité de l'information de 0,99 à 1,10.

Claire Martin: C'est assez impressionnant comme résultat.

Nicolas Moreau: Et il y a aussi un autre outil qui va dans ce sens : Playground de Google.

Claire Martin: Une plateforme expérimentale où on peut créer, jouer et partager des jeux personnalisés juste avec du texte, sans programmer.

Nicolas Moreau: Et il y a même Docker qui a publié un projet open source, docker-agent.

Claire Martin: On peut y définir des agents d'IA en YAML, de manière déclarative, avec de l'orchestration multi-agents, et le support de plusieurs modèles.

Nicolas Moreau: Ce qui est intéressant, c'est que l'écosystème s'organise autour de ces modèles de plus en plus puissants et de plus en plus accessibles.

Claire Martin: Oui, et ça pose une question sur la démocratisation de ces outils.

Nicolas Moreau: Tout à fait.

Claire Martin: Parlons maintenant de preuves, et des limites de l'auto-formatisation.

Nicolas Moreau: Alors il y a un résultat qui a fait parler : la preuve du装箱 optimal de 11 carrés est entièrement formalisée en Lean.

Claire Martin: Et ce qui est impressionnant, c'est que les 7 920 modules ont tous été vérifiés.

Nicolas Moreau: Et la longueur optimale du côté est d'environ 3,87708.

Claire Martin: C'est un chiffre très précis, et une vraie prouesse de formalisation.

Nicolas Moreau: Mais ça pose une question plus large : peut-on automatiser ce genre de processus ?

Claire Martin: Justement, il y a une recherche qui suggère que la traduction sémantique fidèle dans l'auto-formalisation par IA est plus difficile que le problème de l'arrêt, dans la hiérarchie de l'indice de solvabilité.

Nicolas Moreau: C'est un résultat théorique assez profond, qui montre que certaines étapes de la formalisation ne sont pas si simples à automatiser.

Claire Martin: Et il y a une vraie question ouverte là-dessus : quel théorème sera formalisé ensuite ?

Nicolas Moreau: Oui, et je trouve ça passionnant de voir que le domaine avance pas à pas.

Claire Martin: Passons maintenant à la sécurité, un sujet toujours d'actualité.

Nicolas Moreau: Oui, et cette semaine il y a eu une affaire assez inquiétante.

Claire Martin: Alors, plusieurs registres de ccTLD ont été détournés.

Nicolas Moreau: Lesquels ?

Claire Martin: Le .gh du Ghana, le .sl de Sierra Leone, et le .as des îles Åland.

Nicolas Moreau: Et qu'est-ce qui s'est passé ?

Claire Martin: Les attaquants ont modifié les DNS et ont pu générer des certificats TLS falsifiés, validés pour des marques comme Google.

Nicolas Moreau: C'est grave, parce que ça veut dire qu'on peut intercepter du trafic en se faisant passer pour un site de confiance.

Claire Martin: Heureusement, Chrome a bloqué ces certificats.

Nicolas Moreau: Et les recommandations qui circulent, c'est de surveiller les logs de Certificate Transparency et de mettre en place des enregistrements CAA.

Claire Martin: Et en parallèle de cette affaire, il y a eu une arrestation qui a fait parler.

Nicolas Moreau: Oui, le chef de ShinyHunters, connu sous le pseudo « Rey », est un adolescent d'Amman.

Claire Martin: Et il a été arrêté alors qu'il était en train d'extorquer Jeppesen et ForeFlight, deux entités issues du démembrement de Boeing.

Nicolas Moreau: C'est assez dingue de voir l'âge du suspect.

Claire Martin: Oui, et ce qui reste flou, c'est la suite judiciaire et surtout la fiabilisation de ces registres.

Nicolas Moreau: Oui, parce que si les registres de ccTLD peuvent être compromis, ça pose un vrai problème structurel.

Claire Martin: Et du vol en ligne, on peut passer à un conflit sur les frais, qui touche tous les petits commerces.

Nicolas Moreau: Justement, une pizzeria de San Diego a attaqué Visa, Mastercard et les grandes banques en action collective.

Claire Martin: Et les accusations sont sérieuses : collusion pour faire monter les frais d'interchange marchands.

Nicolas Moreau: C'est un enjeu énorme pour les petits commerces.

Claire Martin: Oui, et ça va être intéressant de suivre l'évolution de cette action.

Nicolas Moreau: On est d'accord.

Claire Martin: Passons maintenant au web, qui gagne en images et en rétro.

Nicolas Moreau: Alors il y a du nouveau côté Chrome.

Claire Martin: Oui, Chrome 155 supporte officiellement le décodage du JPEG XL.

Nicolas Moreau: Et l'implémentation est en Rust, jxl-rs, ce qui garantit la sécurité mémoire.

Claire Martin: Et en plus, le format offre 30 à 50 % de compression en plus par rapport au JPEG.

Nicolas Moreau: Et il supporte aussi le HDR et le transcodage JPEG sans perte.

Claire Martin: C'est une vraie avancée pour le web.

Nicolas Moreau: Et en parallèle, il y a un projet qui fait du rétro-gaming dans le navigateur.

Claire Martin: Oui, un recompilateur statique qui fait tourner des jeux PSP en WebAssembly.

Nicolas Moreau: Et notamment God of War : Chains of Olympus à 60 fps.

Claire Martin: C'est assez bluffant techniquement.

Nicolas Moreau: Et ça se relie bien aux projets créatifs open source dont on va parler.

Claire Martin: Justement, parlons de sons, d'ASCII et de shaders.

Nicolas Moreau: Alors, kagan.in a publié plus de 160 expériences sonores et visuelles sous licence MIT.

Claire Martin: Il y a aussi ascii.rest, qui propose 191 œuvres ASCII animées, écrites en TypeScript sans aucune dépendance.

Nicolas Moreau: Et Shaders, qui offre plus de 200 composants WebGPU pour React, Vue, Svelte, Solid et même Framer.

Claire Martin: C'est une vraie vitrine du web créatif libre.

Nicolas Moreau: Oui, ça montre la vitalité de l'écosystème open source.

Claire Martin: Et dans la même veine, il y a des outils et des musées qui ne demandent même pas de serveur.

Nicolas Moreau: Alors, Bigwords.page, par exemple, transforme n'importe quel écran en panneau d'affichage.

Claire Martin: Le message est stocké dans le fragment d'URL, sans back-end ni stockage, sous licence MIT.

Nicolas Moreau: Il y a aussi la police du clavier du Commodore 64, reconstruite à partir de photos des touches d'origine.

Claire Martin: Avec des fichiers TTF, OTF, des polices web et 63 glyphes PETSCII.

Nicolas Moreau: Le projet a d'ailleurs récolté 88 étoiles sur son dépôt.

Claire Martin: Et il y a un musée 3D navigable de l'histoire de l'art, construit à partir des données de Wikipédia.

Nicolas Moreau: Il couvre plus de mille ans de styles et d'œuvres de peintres.

Claire Martin: Et côté son, le synthétiseur M-VAVE FM-1 a été confirmé : il tourne sur une puce JieLi AC791N.

Nicolas Moreau: Avec un moteur FM à 6 opérateurs dérivé de Dexed, sous licence WTFPL.

Claire Martin: C'est un bel exemple de matériel open source.

Nicolas Moreau: Et ça nous mène tout doucement vers deux histoires assez étonnantes, un peu physiques, voire chimiques.

Claire Martin: Oui, alors la première est assez unique en son genre.

Nicolas Moreau: Tony Deane, un ingénieur civil britannique, a passé 20 ans à creuser un réseau de tunnels sous sa maison de Tilehurst.

Claire Martin: À 15 mètres de profondeur, avec un ascenseur de 1 tonne et des portes secrètes.

Nicolas Moreau: Et la maison est mise aux enchères avec un prix guide de 300 000 à 325 000 livres.

Claire Martin: C'est vraiment un projet de fou.

Nicolas Moreau: Et l'autre histoire est plus sérieuse : le prix Nobel de chimie 2026.

Claire Martin: Il récompense Henri B. Kagan et Kenso Soai.

Nicolas Moreau: Pour leurs travaux sur les effets non linéaires et l'autocatalyse en synthèse asymétrique.

Claire Martin: Et ce qui est fascinant, c'est que ça touche à l'origine de l'homochiralité, un mystère de la chimie du vivant.

Nicolas Moreau: Voilà, on a fait le tour de cette semaine.

Claire Martin: Merci d'avoir été là, on se retrouve très bientôt.

Nicolas Moreau: Salut à toutes et à tous.