1001 | Épisode : Open source partout, IA partout

||Download

Show notes

Open source, IA et hardware : de CHOMPI qui libère son firmware aux satellites-espions déclassifiés, en passant par les modèles frontier, l'inférence optimisée, les bureaux de vote gouvernementaux et les tableaux de bord analogiques d'un autre siècle.

Chronologie

  • 00:00:04 Introduction
  • 00:00:41 L'open source s'ouvre : matériel, compilateurs, forge
  • 00:06:29 Craft d'ingénieur : Make, commits, modélisation et texte GPU
  • 00:12:20 IA frontier et optimisation de l'inférence
  • 00:16:45 Outils avec garde-fous : MCP, TLA+, triche IA, bourses et matchmaking d'État
  • 00:24:23 Écrans, signaux et résonances : des tableaux analogiques aux crises du présent
  • 00:33:07 Conclusion

Liens connexes

Cet épisode est produit par Bri. Bri utilise une technologie d'IA avancée pour transformer les flux qui vous intéressent en podcasts conçus pour l'écoute. Contactez-nous à hi@bri.so.

Transcript

Claire Martin: Bonjour et bienvenue dans l'émission, moi c'est Claire Martin.

Nicolas Moreau: Et moi Nicolas Moreau. Alors Claire, ce qui relie tout ce qu'on va voir aujourd'hui, c'est une question assez simple en apparence : qu'est-ce qui s'ouvre, et qu'est-ce qui se ferme ? Du code propriétaire qui passe en open source, des satellites secrets qui sont déclassifiés, des modèles d'IA qui deviennent accessibles à certains et pas à d'autres, et même un détroit stratégique qui, dans un essai de prospective, reste fermé.

Claire Martin: Exactement. On va prendre ces histoires une par une, les remettre en contexte, et surtout essayer de comprendre ce qu'elles nous disent collectivement. On commence par un trio qui illustre bien ce mouvement d'ouverture : du matériel musical, un compilateur, et une forge logicielle.

Nicolas Moreau: Parfait. Alors premier sujet : CHOMPI. CHOMPI Mk1, c'est un instrument, un sampler portable que je crois assez aimé dans la communauté des musiciens électroniques. Et la nouvelle, c'est double. D'un côté, le matériel et le firmware deviennent open source. De l'autre, la production s'arrête.

Claire Martin: C'est un combo intéressant, parce que ces deux choses ensemble, ça change complètement la nature de l'objet. Quand un produit devient open source matériel ET firmware en même temps, ce n'est pas juste un geste de transparence, c'est une passation. L'objet cesse d'appartenir à une entreprise et commence à appartenir à une communauté.

Nicolas Moreau: Et il y a un détail juridique qui mérite d'être souligné : les artworks sont exclus de l'open source. Donc le schéma électronique et le code, tout le monde peut les reprendre, mais les créations visuelles, elles, restent protégées. Et en même temps, la vente sous un nouveau nom est autorisée.

Claire Martin: C'est une configuration qu'on voit de plus en plus, et elle est assez élégante quand on y réfléchit. Les créateurs originaux gardent la main sur l'identité visuelle, la marque, l'esthétique — c'est leur patrimoine artistique. Mais ils libèrent tout ce qui est technique, et ils autorisent explicitement d'autres personnes à fabriquer et vendre l'instrument sous leur propre nom.

Nicolas Moreau: Ce qui veut dire concrètement que si la production officielle s'arrête, l'instrument lui-même n'a aucune raison de disparaître. N'importe qui avec les compétences nécessaires peut le fabriquer, l'améliorer, le vendre. La communauté devient le fabricant de secours, pour ne pas dire le fabricant tout court.

Claire Martin: Et il y a une vraie question de fond là-dedans : est-ce que c'est une fin, ou une libération ? Vu de l'extérieur, arrêter la production d'un produit aimé, ça ressemble à un échec commercial. Mais libérer le matériel et le firmware, c'est presque l'inverse d'un enterrement. C'est un transfert de responsabilité. La vraie question, c'est est-ce qu'il y aura des gens pour reprendre le flambeau, et sous quelle forme. Ça, on ne le sait pas encore.

Nicolas Moreau: Ce qui me frappe, c'est que ce modèle reste rare dans le matériel musical. Beaucoup d'entreprises gardent leurs schémas jalousement même quand elles ferment. Le fait de le faire explicitement, avec des règles claires — artworks exclus, revente autorisée sous nouveau nom — c'est presque un mode d'emploi de la survie de l'objet.

Claire Martin: Oui, et ça nous amène naturellement au deuxième point, parce que c'est le même mouvement mais dans un monde très différent : celui des compilateurs. Le front-end C++ d'EDG devient open source.

Nicolas Moreau: Alors là, pour les gens qui ne suivent pas le monde des compilateurs, il faut expliquer pourquoi c'est un gros sujet. EDG, c'est Edison Design Group, et leur front-end C++ est une pièce d'infrastructure absolument centrale. C'est un peu le moteur caché que beaucoup d'outils d'analyse de code C++ ont utilisé pendant des années.

Claire Martin: Et la date est fixée : le 30 septembre 2026. La licence sera Apache 2.0 avec une exception LLVM.

Nicolas Moreau: L'exception LLVM, c'est un point technique important. Apache 2.0 tout seul, dans le monde des compilateurs, pose des questions d'interaction avec la GPLv3 qui régit GCC. L'exception LLVM est exactement la licence qui a permis à tout l'écosystème autour de LLVM de prospérer sans se soucier des problèmes de contamination de licence. En reprenant cette licence, EDG s'insère directement dans un cadre juridique que la communauté connaît déjà par cœur.

Claire Martin: Donc pas d'expérimentation juridique, pas de licence exotique qui ferait hésiter les entreprises. Ils reprennent le standard de facto du domaine. Et ça, c'est un signal : ils veulent que ce code soit réellement utilisé, pas juste visible.

Nicolas Moreau: Ce qui pose une question intéressante : pourquoi maintenant ? On peut imaginer plusieurs raisons — la pression de l'écosystème open source, le fait que Clang domine de plus en plus, ou simplement le sentiment que maintenir une île propriétaire dans un océan ouvert n'a plus de sens. Mais la source ne le dit pas, donc restons prudents. Ce qu'on sait, c'est que l'hébergement sera assuré par The C++ Alliance.

Claire Martin: Et entre CHOMPI d'un côté et EDG de l'autre, on a deux échelles très différentes du même phénomène. Un petit instrument de musique, un pilier de l'infrastructure logicielle mondiale. Dans les deux cas, du propriétaire qui cède du terrain.

Nicolas Moreau: Et le troisième élément du triptyque, c'est Gitea 28.0.0. Gitea, pour ceux qui ne connaissent pas, c'est une forge logicielle — un hébergement de dépôts Git, un peu dans l'esprit de ce que fait GitHub ou GitLab, mais en solution auto-hébergeable et légère.

Claire Martin: Et cette version 28.0.0 a trois changements notables. D'abord, l'abandon du préfixe 1. dans le numéro de version. Ils étaient en 1.x depuis toujours, et ils passent à un schéma de numérotation sans ce préfixe. C'est symbolique, mais c'est aussi un signal de maturité — on arrête de se comporter comme un projet en version 1.

Nicolas Moreau: Ensuite, et c'est peut-être le plus intéressant : les correctifs de sécurité seront désormais détaillés dans la semaine de leur publication. Ça, c'est un vrai changement de politique. Historiquement, beaucoup de projets publient un correctif de sécurité en disant juste « corrige une vulnérabilité », sans rien révéler, parce que révéler les détails aide aussi les attaquants. Détailer dans la semaine, ça veut dire que la transparence devient la norme, avec un délai de grâce très court.

Claire Martin: Et c'est un pari. Le pari, c'est que la majorité des instances seront mises à jour assez vite, et que le bénéfice de la transparence — permettre à tout le monde de comprendre, d'évaluer, de vérifier — l'emporte sur le risque de donner des munitions aux attaquants. C'est un débat classique en sécurité, et Gitea trancher explicitement pour la transparence rapide, c'est une position assumée.

Nicolas Moreau: Et troisième point : l'enregistrement automatique des comptes est désactivé par défaut. Là encore, c'est une décision de sécurité prudente. Beaucoup d'instances Gitea sont déployées sur des réseaux internes ou semi-privés, et avoir des inscriptions ouvertes par défaut crée des risques — spam, abus de ressources, comptes fantômes. Désormais, il faudra l'activer explicitement.

Claire Martin: Donc si on synthesise ces trois histoires : CHOMPI ouvre son matériel en abandonnant la production, EDG ouvre son compilateur sous une licence communautaire, Gitea renforce la confiance par la transparence. Le fil commun, c'est que le code propriétaire cède du terrain, et que l'open source n'est plus une alternative, c'est devenu la référence.

Nicolas Moreau: Et la question qu'on peut légitimement se poser, c'est : quelles entreprises suivront ? Parce que chaque fois qu'un acteur historique comme EDG bascule, ça crée un précédent. Les autres se disent : et nous, qu'est-ce qu'on garde encore fermé, et pourquoi ?

Claire Martin: Bon. Et justement, de l'open source à la chaîne d'outils de développement, il n'y a qu'un pas. Passons au craft d'ingénieur : on a quatre sujets qui, chacun à leur manière, parlent de comprendre en profondeur ce qu'on fabrique.

Nicolas Moreau: Commençons par Make, l'outil de build. Sujet en apparence aride, mais il y a une subtilité qui revient régulièrement et qui piège pas mal de gens : Make récursif et le jobserver.

Claire Martin: Alors expliquons le problème. Quand tu lances un build en parallèle, tu passes typiquement l'option -j à Make, avec un certain nombre de jobs. Et quand un Makefile en appelle un autre — du Make récursif — le Make appelé doit connaître cette limite de parallélisme. Sinon, soit il ne parallélise pas du tout, soit il lance trop de jobs et tu satures la machine.

Nicolas Moreau: Et la solution, c'est le jobserver : le Make parent partage un mécanisme de comptage de jobs avec les Makes enfants. Mais pour que ça marche, le Makefile doit le dire explicitement : soit en préfixant la commande d'appel avec un +, soit en utilisant la variable $(MAKE). C'est un petit détail de syntaxe, mais sans lui, le parallélisme se perd en silence — et ton build devient lent sans que tu comprennes pourquoi.

Claire Martin: Et il y a une nouveauté dans GNU Make 4.4 : le jobserver passe aux FIFO par défaut. Avant, le mécanisme historique reposait sur des descripteurs de fichiers — des pipes. Les FIFO sont une alternative plus propre dans certains contextes, notamment parce que ça évite des problèmes quand les descripteurs sont hérités par des processus qui n'en veulent pas.

Nicolas Moreau: Ce qui est amusant, c'est que ce genre de subtilité, c'est exactement le genre de connaissance qui se transmet par la douleur. Tu passes des heures à te demander pourquoi ton build est lent, et la réponse est un + manquant devant une ligne de ton Makefile. C'est de la mécanique fine, mais quand tu la comprends, tu comprends ton outil.

Claire Martin: Et ça fait une transition parfaite vers le deuxième sujet, qui est une réflexion plus philosophique mais dans le même esprit : écrire soi-même ses descriptions de commit, à l'ère de l'IA.

Nicolas Moreau: L'argument central, c'est celui-ci : rédiger la description d'un commit n'est pas une corvée administrative, c'est un outil de réflexion. Le moment où tuforces-toi à expliquer pourquoi tu as fait un changement, c'est le moment où tu découres si tu l'as vraiment compris.

Claire Martin: Et la formulation qui résume tout : si tu ne peux pas expliquer le pourquoi, le code est incompris. Pas incompris par les autres — incompris par toi.

Nicolas Moreau: Et dans le contexte actuel, c'est devenu un enjeu brûlant. On peut faire générer ses messages de commit par une IA en trois secondes. Le message est souvent propre, bien formaté, plausible. Mais ce message plausible ne prouve rien sur ce que l'auteur a compris. C'est même pire : il peut masquer le fait que l'auteur n'a pas compris.

Claire Martin: C'est un garde-fou, dans le sens le plus littéral. Le message de commit manuel est un point de contrôle où ta compréhension est testée. Si tu le délègues, tu supprimes ce point de contrôle. Et il y a une asymétrie importante : l'IA peut décrire le quoi — quelles lignes ont changé — souvent mieux que nous. Mais le pourquoi, l'intention, le lien avec le problème métier, ça, ça vient de ta tête, pas du diff.

Nicolas Moreau: Et je pense qu'on peut généraliser un peu sans trahir l'idée : la valeur du message de commit n'est pas dans le texte lui-même, elle est dans l'acte de l'écrire. C'est comme expliquer un problème à voix haute pour le résoudre. Supprimer l'acte, c'est supprimer la réflexion.

Claire Martin: Bon, restons dans le craft, mais avec un détour vers le graphisme et la 3D. Matt Keeter, qu'on connaît pour ses travaux sur la modélisation procédurale, a sorti un IDE expérimental qui s'appelle Halfspace.

Nicolas Moreau: Halfspace, c'est un environnement pour la modélisation solide par champs de distances. Alors, il faut déballer ça. La modélisation solide classique, c'est des B-rep, des surfaces frontières, des CSG avec des opérations booléennes sur des solides. C'est mathématiquement délicat — les opérations booléennes sur des maillages génèrent des cas pathologiques sans fin.

Claire Martin: L'approche par champs de distances, c'est différent : au lieu de décrire les surfaces, tu décris une fonction qui, en tout point de l'espace, te donne la distance à la surface — négative à l'intérieur, positive à l'extérieur. Les opérations deviennent alors des opérations sur des fonctions, min pour l'union, max pour l'intersection, et c'est beaucoup plus robuste.

Nicolas Moreau: Et Halfspace, c'est un IDE — donc un environnement de développement complet — construit autour de cette idée. Tu écris du code qui définit tes champs, et tu vois le résultat en temps réel. Le noyau de calcul s'appelle Fidget, et c'est lui qui évalue ces fonctions efficacement. Et il y a une démo WebGPU, donc ça tourne dans le navigateur, avec le GPU.

Claire Martin: C'est le genre de projet qui fait rêver les gens qui aiment la géométrie et les outils. Un IDE pour une représentation géométrique mathématiquement élégante, avec une boucle interactive rapide. Le côté expérimental est assumé — c'est une vitrine, une démonstration de concept — mais la vitrine est de haute qualité.

Nicolas Moreau: Et ça nous mène au dernier sujet de cette série : le rendu de texte sur GPU. Il y a eu un comparatif des différentes méthodes, et c'est un domaine où il n'y a pas de gagnant absolu, juste des compromis.

Claire Martin: Alors, les grandes familles. La méthode la plus ancienne, c'est l'atlas de textures : tu pré-rends chaque glyphe dans une texture, et tu affiches des quads texturés. Simple, rapide, mais ça vieillit mal quand on zoome ou qu'on tourne — les glyphs se pixellisent.

Nicolas Moreau: Ensuite, les SDF — signed distance fields, encore des champs de distances, tiens. L'idée : tu stockes non pas le glyphe lui-même mais un champ de distance approximatif, et le shader reconstruit le contour à n'importe quelle résolution. Ça se redimensionne très bien, avec des artefacts plus doux que l'atlas.

Claire Martin: Le MSDF — multi-channel signed distance field — ajoute plusieurs canaux, ce qui permet de préserver les détails fins comme les angles nets et les intersections, avec beaucoup plus de précision pour une taille de texture donnée.

Nicolas Moreau: Et puis il y a Slug, la méthode de référence en qualité : elle trace les contours vectoriels directement sur le GPU, avec une précision quasi parfaite quel que soit le zoom. Mais c'était breveté — breveté en 2019, dans le domaine public en 2026. Donc ce qui était réservé, en pratique, à ceux qui pouvaient payer une licence, devient accessible à tous.

Claire Martin: Ce qui boucle élégamment la boucle avec notre premier sujet : un brevet qui expire, c'est une forme d'ouverture, exactement comme un code qui devient open source. Et le fil rouge de toute cette section, c'est le même : que ce soit le jobserver de Make, le message de commit, le champ de distance de Halfspace ou le SDF de ton rendu de texte, comprendre en profondeur ce qu'on fabrique, ça change tout.

Nicolas Moreau: Passons maintenant à un bloc plus factuel et plus mouvementé : l'IA frontier et l'optimisation de l'inférence. Il se passe beaucoup de choses en ce moment.

Claire Martin: Commençons par Google. Gemini 4 Argon vient d'être annoncé. C'est un modèle frontier, positionné sur le code, le juridique, la finance et la cybersécurité.

Nicolas Moreau: Et le point le plus frappant de l'annonce, c'est la disponibilité : pour l'instant, il est réservé aux cyberdéfenseurs du Fairwind Program. Donc pas de disponibilité générale — un programme restreint, ciblé sur les gens qui défendent des systèmes. C'est un choix de déploiement assez inhabituel pour un modèle de ce calibre.

Claire Martin: Ça soulève des questions immédiatement. Pourquoi limiter d'abord aux défenseurs ? On peut imaginer que c'est une stratégie de déploiement prudent — tester un modèle très capable sur une population contrôle avant de l'ouvrir. Mais ça crée aussi une asymétrie temporaire : pendant cette phase, ce modèle n'est pas accessible aux attaquants comme aux défenseurs, ce qui est peut-être l'idée.

Nicolas Moreau: Et l'autre anomalie à signaler : Google annonce Gemini 4 Argon à la fois comme modèle frontier et comme modèle dont les caractéristiques sont déjà très détaillées. La version High affiche un indice d'intelligence de 53, avec des tarifs de 2 dollars par million de tokens en entrée et 10 dollars en sortie, un contexte de 1 million de tokens, et un positionnement comparable à Opus 5.5 d'Anthropic.

Claire Martin: Un indice de 53, pour ceux qui suivent ces benchmarks composite, c'est dans la zone des tout meilleurs modèles actuels. Et le contexte de 1M, c'est la grandeur qui change la nature des usages — tu peux mettre des corpus entiers dedans.

Nicolas Moreau: Ce qui est remarquable, c'est la combinaison : performance au niveau des meilleurs, et prix d'entrée à 2 dollars par million de tokens. La comparaison directe avec Opus 5.5, elle, vient de l'annonce — donc c'est Google qui se positionne ainsi, pas un benchmark indépendant. À vérifier en pratique, évidemment.

Claire Martin: Et ce qui rend ce positionnement encore plus piquant, c'est le deuxième sujet du bloc : DeepSeek-V4.1-Flash et la guerre des coûts d'inférence.

Nicolas Moreau: Le chiffre qui donne le vertige : DeepSeek-V4.1-Flash réduit le KV-cache de 437 fois. 437x. Concrètement, ça revient à 890 Mo par million de tokens de contexte, au lieu de centaines de gigaoctets avec les approches standard.

Claire Martin: Il faut expliquer pourquoi le KV-cache est si central. Quand un modèle traite une longue séquence, il stocke pour chaque token, chaque couche, des clés et des valeurs — le KV-cache — pour ne pas recalculer l'attention à chaque nouveau token. C'est ce cache qui détermine combien de mémoire tu as besoin pour servir un utilisateur avec un long contexte. C'est souvent le goulot d'étranglement numéro un en production.

Nicolas Moreau: Donc diviser par 437 la taille de ce cache, ça veut dire qu'on peut servir beaucoup plus d'utilisateurs sur le même matériel, ou des contextes beaucoup plus longs à coût constant. C'est le genre d'optimisation qui se répercute directement sur les prix.

Claire Martin: Et effectivement, la conséquence est immédiate et spectaculaire : Anthropic et OpenAI adoptent ces optimisations et baissent leurs prix de 60 à 80 pour cent.

Nicolas Moreau: 60 à 80 pour cent, d'un coup. C'est là qu'on voit la structure du marché : une avancée faite par un acteur — DeepSeek ici — devient rapidement un bien commun, parce que les autres acteurs ne peuvent pas se permettre de vendre 5 fois plus cher pour le même résultat.

Claire Martin: Et il y a une ironie amusante : les modèles propriétaires les plus fermés du marché dépendent d'optimisations d'inférence publiées par un laboratoire chinois dont les modèles sont ouverts. L'open source irrigue même les closed source, dans les couches d'infrastructure.

Nicolas Moreau: Et d'ailleurs, sur l'infrastructure justement, troisième sujet du bloc : Magnitude, de YC S25, un moteur d'inférence open source.

Claire Martin: Magnitude, c'est un moteur écrit en Rust, sous licence Apache 2.0, avec une particularité : il s'auto-optimise par matériel. C'est-à-dire qu'au lieu d'avoir des kernels génériques écrits une fois pour toutes les architectures, il adapte automatiquement son exécution au matériel sur lequel il tourne.

Nicolas Moreau: Et le chiffre annoncé : jusqu'à 2 fois plus rapide que llama.cpp. Llama.cpp étant le moteur d'inférence open source de référence, battre de 2x, c'est significatif — avec la réserve habituelle que « jusqu'à » fait tout le travail de la phrase.

Claire Martin: Le choix de Rust et d'Apache 2.0 est aussi un choix de positionnement : un moteur qu'on peut embarquer partout, sans souci de copyleft, avec des garanties mémoire. L'inférence devient un champ de bataille d'ingénierie système, pas seulement de recherche.

Nicolas Moreau: Donc si on synthesise ce bloc : un modèle frontier dont l'accès est d'abord restreint aux défenseurs, une compression du KV-cache de 437x qui déclenche des baisses de prix de 60-80% chez les géants, et un moteur open source en Rust qui promet 2x sur le standard du domaine. La course aux prix et aux performances s'accélère visiblement, et elle se joue autant dans l'infrastructure que dans les modèles.

Claire Martin: Et cette idée de garde-fous et de systèmes qui doivent s'adapter, on va la retrouver dans le bloc suivant, qui est un peu un fourre-tout assumé : des outils avec garde-fous, des institutions qui font face à des réalités nouvelles. On va parler de MCP, de TLA+, de triche à l'université, d'une bourse supprimée et d'une app de rencontres d'État.

Nicolas Moreau: Un programme varié, mais avec un vrai fil rouge : les institutions et les systèmes formels face aux nouvelles réalités. Commençons par Pi d'Earendil, qui est une figure connue et parfois clivante de la communauté des agents et des protocoles.

Claire Martin: Pi a longtemps été opposé à MCP — le Model Context Protocol, le standard pour connecter des modèles à des outils. Et la nouvelle, c'est qu'il l'intègre désormais dans son cœur. Mais pas en adoptant MCP tel quel : via Codemode, un bac à sable JavaScript pour orchestrer les appels d'outils.

Nicolas Moreau: Il faut comprendre ce que ça change. Dans l'orchestration classique d'outils par un modèle, le modèle émet un appel d'outil, le runtime l'exécute, renvoie le résultat, le modèle émet l'appel suivant — un aller-retour avec le LLM à chaque étape. C'est lent et coûteux.

Claire Martin: Codemode, l'idée c'est : et si le modèle écrivait du JavaScript qui appelle les outils directement ? Le code tourne dans un bac à sable, les appels d'outils passent par MCP, mais la logique d'orchestration — boucles, conditions, composition — est du code exécuté, pas des tours de LLM. Le modèle devient un programmeur, pas un dispatcher.

Nicolas Moreau: Et le revirement de Pi est intéressant en soi. Quand quelqu'un a passé des années à critiquer un standard, son adoption n'est pas une capitulation, c'est souvent une reconnaissance pragmatique : l'écosystème a tranché, et résister coûte plus cher que s'adapter. Mais l'intégration par un bac à sable maison, c'est aussi une façon de dire « j'accepte le protocole, pas forcément le paradigme d'exécution qui va avec ».

Claire Martin: Restons dans les systèmes formels, avec Hillel Wayne qui a écrit sur les limites de TLA+.

Nicolas Moreau: Pour rappel, TLA+ est un langage de spécification formelle, popularisé par Leslie Lamport, qui permet de décrire des systèmes distribués et de prouver des propriétés dessus. C'est un outil redoutable — mais Hillel Wayne en liste les limites, et c'est précieux parce que c'est un défenseur de l'outil qui en parle honnêtement.

Claire Martin: Les limites qu'il pointe : d'abord, certaines propriétés ne sont pas formalisables — tout ce qui est subjectif, business, sémantique, échappe au formalisme. Ensuite, pas de quantification existentielle, dans le sens où tu ne peux pas facilement exprimer « il existe un comportement tel que... » de la même façon que tu exprimes les invariants universels. Pas de temps réel — TLA+ modélise l'ordre des événements, pas les durées en secondes.

Claire Martin: Et pas de multi-étapes au sens où certaines progressions longues et structurées sont maladroites à exprimer.

Nicolas Moreau: Ce que j'aime dans cette liste, c'est qu'elle dessine les contours de l'outil. TLA+ est excellent pour prouver que ton protocole ne perd pas de messages et ne va pas dans un état invalide. Il ne te dira rien sur les questions de latence, ni sur les propriétés qu'on ne sait pas écrire formellement. Le message n'est pas « TLA+ ne sert à rien », c'est « sache où il s'arrête ».

Claire Martin: Et c'est exactement le même thème que le message de commit : l'outil formel est un garde-fou, mais aucun garde-fou ne couvre tout.

Nicolas Moreau: Ce qui nous amène au campus. Purdue, le cours CS 240, qui est un cours de C. Chiffre : sur 584 étudiants, 267 ont été signalés pour triche à l'IA. Environ 45,7 pour cent du cours.

Claire Martin: Près d'un étudiant sur deux. Et la détection n'est pas venue d'une intuition de professeur, mais d'un outil d'analyse statique qui s'appelle Argus — un outil conçu précisément pour repérer les signatures typiques du code généré par IA dans les soumissions d'étudiants.

Nicolas Moreau: Et le détail le plus troublant : les conséquences sont minimales. Un tiers du cours signalé, et des conséquences qui, au final, n'ont pas l'air de changer grand-chose pour les étudiants concernés.

Claire Martin: C'est là que le sujet devient vraiment riche pour la discussion. Parce que d'un côté, tu as une technologie de détection qui fonctionne assez bien pour signaler près de la moitié d'un effectif. De l'autre, une institution qui, face à un volume pareil, ne peut plus traiter chaque cas comme une affaire individuelle. 267 affaires disciplinaires, c'est ingérable dans le cadre classique.

Nicolas Moreau: Et ça pose des questions non résolues, honnêtement. Est-ce que la détection est fiable à ce niveau-là — les faux positifs existent forcément, l'analyse statique n'est pas un jugement ? Est-ce que « signalé » équivaut à « coupable » — la source dit signalés, pas condamnés ? Et la vraie question de fond : est-ce que la notion même de triche à l'IA doit être repensée quand l'IA est partout dans le monde professionnel du C ?

Claire Martin: Parce qu'il y a une contradiction assez vive : on forme des étudiants à un métier où ils utiliseront des IA tous les jours, et on les note sur leur capacité à produire du C sans IA. Certains diront que c'est comme apprendre le calcul mental avant la calculatrice — tu dois maîtriser les fondations. D'autres diront que le fondement a changé. L'université, en l'état, envoie des signaux contradictoires : punir symboliquement sans changements réels.

Nicolas Moreau: Et restons dans l'institution en difficulté, mais du côté de la recherche cette fois. Une histoire assez cruelle : un chercheur en machine learning, qui a fait son doctorat en travaillant au Japon, apprend que le gouvernement japonais supprime la bourse MEXT filière universitaire — celle qui le finance. Résultat : statut incertain.

Claire Martin: Il faut mesurer ce que ça veut dire. La bourse MEXT, c'est la bourse du ministère japonais de l'Éducation, un dispositif structurant pour accueillir des chercheurs étrangers. La supprimer pour la filière universitaire, ce n'est pas juste couper un chèque : c'est retirer un pilier du modèle qui permet à des doctorants étrangers de venir faire leur thèse au Japon.

Nicolas Moreau: Et pour la personne concernée, c'est le pire des timings : thèse en cours ou finie, vie établie dans le pays, et le financement retiré sous ses pieds, avec un statut migratoire qui dépendait de ce financement. Statut incertain, c'est la formule sobre, mais derrière, c'est peut-être la question de rester ou de partir.

Claire Martin: Et c'est un symbole qui dépasse le cas individuel. Au moment où les pays se disputent les talents en IA — et on vient de parler d'un marché de l'IA en surchauffe — un pays qui coupe le robinet du financement des doctorants étrangers fait un choix qui va à contrecourant de sa propre stratégie affichée. La pénurie de talents, on en parle dans toutes les entreprises d'IA, et voilà un pipeline qui se ferme.

Nicolas Moreau: Et pour finir ce bloc, un sujet plus léger en apparence mais très riche : le gouvernement singapourien lance FirstDate, une application de rencontres — réservée aux fonctionnaires de 21 à 35 ans.

Claire Martin: Oui, l'État qui fait du matchmaking pour ses employés. Et ce qui est savoureux, c'est la technique : l'app repose sur Gale-Shapley, l'algorithme des mariages stables, celui qui a valu un prix Nobel d'économie à Lloyd Shapley et Alvin Roth.

Nicolas Moreau: Rappelons-le pour ceux qui ne le connaissent pas : Gale-Shapley résout le problème de l'appariement stable. Deux groupes, des préférences de chacun, et l'algorithme garantit un appariement où il n'existe pas deux personnes qui préféreraient toutes les deux être ensemble plutôt qu'avec leur partenaire assigné. Utilisé pour l'admission des médecins aux États-Unis, pour les affectations d'écoles, et maintenant pour des rencontres entre fonctionnaires.

Claire Martin: Les modalités : un match par cycle, et une fenêtre de 72 heures. Donc un rythme très régulé — pas de swipe infini, une rencontre potentielle par cycle, trois jours pour donner suite.

Nicolas Moreau: Et c'est là qu'il faut s'arrêter, parce que cette app est un concentré de questions. D'abord : est-ce que Gale-Shapley est même le bon outil ? L'algorithme suppose des préférences déclarées et un appariement bipartite, alors qu'une rencontre amoureuse n'est pas un marché d'organes. Ensuite : un match par cycle avec 72 heures, c'est un design d'incitation — l'État veut-il des mariages, des naissances, de la cohésion sociale ?

Nicolas Moreau: Singapour s'inquiète publiquement de sa démographie depuis des années, et voilà l'État qui organise la rencontre de ses fonctionnaires.

Claire Martin: Et il y a la question de la frontière : est-il approprié que l'employeur — et quel employeur, l'État — propose des outils de rencontre à ses employés ? Les partisans diront que c'est un service neutre et volontaire, avec de la science sérieuse derrière. Les critiques diront que c'est un pas de plus dans la vie privée, même si personne n'est obligé d'utiliser l'app.

Nicolas Moreau: Ce qui est fascinant, c'est la cohérence de ce bloc malgré la diversité des sujets. Un protocole d'agents qui change de camp, un outil de preuve dont on reconnaît les limites, une université qui ne sait plus quoi faire de la triche à l'IA, un chercheur dont le financement s'évapore, et un État qui applique un algorithme de Nobel aux rencontres. Partout, des institutions et des systèmes formels qui confrontent leurs règles à des réalités qui ont bougé plus vite qu'eux.

Claire Martin: Et ça nous amène à notre dernier bloc, qui élargit encore le cadre : des écrans, des signaux et des résonances — des tableaux de bord analogiques d'avant l'informatique jusqu'aux crises du présent. C'est le bloc le plus éclectique, mais il a un vrai fil.

Nicolas Moreau: Commençons dans les musées. Il y a eu des observations de tableaux de bord industriels modulaires d'avant l'informatique, dans des musées d'Allemagne et de Pologne. Et l'idée forte, c'est le signal analogique porteur de sens.

Claire Martin: Décrivons ce qu'on voit dans ces salles. Des panneaux muraux avec des jauges, des lampes, des voyants, des modules qu'on peut réorganiser — avant l'ordinateur, la supervision d'une usine ou d'un réseau électrique passait par ces surfaces physiques. Chaque aiguille, chaque couleur, chaque position a une signification directe.

Nicolas Moreau: Et ce qui est frappant, c'est que c'est de l'interface dédiée, à une époque où personne ne disait « interface ». Le sens est porté par le signal lui-même — la déviation de l'aiguille EST la donnée. Pas de couche d'abstraction, pas d'écran générique qui affiche tantôt un mail tantôt un graphique.

Claire Martin: Et cette logique, on la retrouve dans un objet bien plus récent mais animé du même esprit : le terminal Bloomberg. IEEE Spectrum a retracé son histoire.

Nicolas Moreau: Le terminal Bloomberg, pour ceux qui ne l'ont jamais vu, c'est ce monstre multi-écrans qui trône sur le bureau des traders de Wall Street depuis des décennies. Et le récit d'IEEE Spectrum montre ce que ça a représenté : une fenêtre sans précédent sur les marchés. Avant Bloomberg, l'information de marché était fragmentée, lente, inégale.

Nicolas Moreau: Le terminal a mis des flux, des cotations, des nouvelles, des outils d'analyse dans une seule surface, pour ceux qui pouvaient payer — et il coûte cher, toujours aujourd'hui.

Claire Martin: Le parallèle avec les tableaux analogiques est tentant : dans les deux cas, une surface conçue pour rendre visible un système invisible. Mais il y a une différence de nature : le tableau de bord analogique était figé dans le métal, le terminal Bloomberg est une plateforme logicielle qui a absorbé des milliers de fonctions. Et son pérennité — toujours dominante après tant d'années — pose une question : qu'est-ce qui le protège de la disruption ?

Claire Martin: L'effet de réseau, la formation des traders, les contrats, ou l'inertie pure ?

Nicolas Moreau: Restons dans la nostalgie technologique, mais avec un détourn amusant : 56k.rip, un site qui recrée l'expérience du dial-up de 1996.

Claire Martin: Concrètement, tu arrives sur le site et tu retrouves le handshake du modem — ce bruit characteristic de cris et de bips — et le chargement lent, page par page. Une simulation d'époque, à des fins de nostalgie ou de pédagogie.

Nicolas Moreau: Et il y a un twist historique délicieux dans le projet : les modems 56k n'existaient presque pas fin 1996. Donc le site recrée une expérience de 1996 avec une technologie qui, à l'époque exacte évoquée, n'était pas encore répandue. L'expérience de 1996 réelle, c'était plutôt du 28,8 ou du 33,6 kbps.

Claire Martin: C'est une leçon sur la mémoire collective : la nostalgie recompose le passé. On se souvient de l'époque du dial-up, mais on greffe dessus l'image la plus emblématique — le 56k — même si elle date de quelques années plus tard. Le site recrée un souvenir, pas une réalité. Et c'est déjà intéressant en soi comme phénomène culturel.

Nicolas Moreau: Et du révolu assumé, passons aux secrets révolus mais involontairement : les satellites ELINT du NRO.

Claire Martin: Une déclassification remarquable : les satellites URSALA, RAQUEL et FARRAH. C'étaient des satellites d'écoute électronique — ELINT, electronic intelligence — top secrets, opérés par le NRO, l'office américain de reconnaissance nationale. Et le détail qui fait sourire : ils étaient des hitchhikers — des passagers accrochés à d'autres satellites hôtes. Et leurs noms viennent d'actrices de cinéma.

Nicolas Moreau: Le nommage par actrices, c'est une tradition classique du NRO, qui a longtemps baptisé ses programmes d'après des films et des stars. Mais pour des satellites secrets, c'est presque comique : des instruments d'espionnage parmi les plus secrets du monde, portant les prénoms de stars d'Hollywood.

Claire Martin: Et ces hitchhikers, le concept est ingénieux : au lieu de lancer un satellite dédié — coûteux — tu accroches ton charge utile secrète à un lancement existant. Discrétion budgétaire et opérationnelle. Le fait que ces programmes soient déclassifiés aujourd'hui, ça nous rappelle une époque où l'espionnage spatial était couvert jusqu'à l'existence même des satellites. Aujourd'hui, on parle de constellations commerciales dans les communiqués de presse.

Nicolas Moreau: Et la science, elle, avance sur d'autres signaux — ceux du cerveau, cette fois. Quanta a publié sur des enregistrements intracrâniens qui révèlent des ondes corticales complexes.

Claire Martin: Il faut situer : les enregistrements intracrâniens, c'est ce qu'on fait chez des patients épileptiques qui ont déjà des électrodes implantées pour des raisons médicales — une occasion rare d'avoir une résolution spatiale et temporelle imbattable sur le cortex humain vivant.

Nicolas Moreau: Et ce que ces enregistrements montrent, ce sont des motifs d'ondes beaucoup plus riches que l'image classique des oscillations cérébrales. Des spirales — des ondes qui tournent autour d'un point — des sources, des puits, des points autour desquels l'activité diverge ou converge. Et ces motifs sont liés aux tâches de mémoire.

Claire Martin: C'est une belle remise en question d'un modèle simplifié. On a longtemps résumé l'activité corticale par des bandes de fréquences — alpha, beta, gamma — comme si le cortex était un champ d'oscillations uniformes. Les spirales et les puits, c'est une géométrie, une topologie de l'activité. Et le lien avec la mémoire suggère que la forme spatiale de l'onde porte de l'information, pas seulement sa fréquence.

Nicolas Moreau: Tiens, on boucle avec le début de l'émission : les tableaux de bord analogiques portaient le sens dans le signal physique, et voilà que le cortex porte peut-être le sens dans la géométrie du signal. Dans les deux cas, le support du signal n'est pas un détail, il fait partie du message.

Claire Martin: Et pour rester dans les systèmes qui changent de nature, un sujet d'infrastructure : Netlify passe ses Edge Functions sur des MicroVMs Firecracker.

Nicolas Moreau: Firecracker, c'est la technologie de micro-machines virtuelles développée par AWS — utilisée notamment pour Lambda — qui offre l'isolation d'une VM avec le démarrage et l'overhead proches d'un conteneur. Netlify l'adopte en interne pour ses Edge Functions, et le résultat est net : une latence médiane de 5 à 6 millisecondes, contre 25 à 40 avant. Environ 5 fois plus rapide.

Claire Martin: C'est un de ces gains d'infrastructure invisibles pour l'utilisateur final mais qui changent la perception : quand une Edge Function répond en 5 ms, elle devient utilisable pour des choses qu'on n'aurait pas osé y mettre avant. La marge d'erreur devient si faible que l'architecture disparaît de la réflexion.

Nicolas Moreau: Bon. Et il nous reste deux sujets, qui sont peut-être les deux extrémités de notre spectre : un essai de prospective sur un monde en crise, et une leçon familiale sur le métier qui change.

Claire Martin: Commençons par l'essai polonais. Un essayiste décrit un monde où le détroit d'Ormuz est fermé depuis mars.

Nicolas Moreau: Ormuz, pour planter le décor : c'est le goulet entre le golfe Persique et le reste du monde, par lequel passe une part énorme du pétrole mondial. L'essai imagine sa fermeture, et les conséquences sont visibles : le Brent tourne autour de 105-108 dollars.

Claire Martin: Mais l'essai ne s'arrête pas au prix du pétrole, et c'est ce qui le rend intéressant : il décrit des crises cumulées. Carburant, évidemment. Récoltes — l'agriculture dépend du pétrole et du gaz, pour les engrais, les machines, le transport. Chauffage — avec l'hiver qui arrive dans ce scénario. Défense — la tension géopolitique qui a provoqué la fermeture impose des dépenses militaires. Et démographie — les crises économiques repoussent les naissances, les migrations se déplacent.

Nicolas Moreau: C'est la leçon systémique : aucun de ces problèmes n'est isolé. La fermeture d'un détroit ne produit pas juste du pétrole cher, elle se propage dans la nourriture, le chauffage, la sécurité, et jusqu'à la structure démographique d'une société. Les crises en cascade, c'est le scénario que les modèles cloisonnés peinent à prévoir.

Claire Martin: Et bien sûr, précisons : c'est un essai, une projection, pas une description du présent. Mais il éclaire le présent rétrospectivement — toute l'actualité qu'on vient de parcourir, des satellites espions aux prix du Brent, devient plus lisible quand on imagine les scénarios où ces variables se combinent.

Nicolas Moreau: Et pour finir sur une note plus humaine, un billet de blog avec une histoire familiale. L'arrière-arrière-grand-père de l'auteur était maréchal-ferrant. Et à l'arrivée de la voiture, il est devenu mécanicien.

Claire Martin: Et la leçon de l'auteur est formulée en une phrase qui résume presque toute notre émission : garder le pourquoi, lâcher le comment.

Nicolas Moreau: Déballons-la, parce qu'elle est plus profonde qu'elle n'en a l'air. Le maréchal-ferrant savait poser un fer sur un sabot — c'est le comment, une compétence précise attachée à une technologie. Mais son vrai métier, le pourquoi, c'était : faire en sorte que les animaux de trait restent au travail et en santé. Quand la voiture a remplacé le cheval, le comment est devenu obsolète du jour au lendemain.

Nicolas Moreau: Mais le pourquoi, lui, se transposait : un moteur a aussi besoin d'être entretenu, diagnostiqué, réparé. Le maréchal-ferrant devenu mécanicien n'a pas changé de métier, il a changé d'objet.

Claire Martin: Et si on regarde notre émission avec ces lunettes : CHOMPI qui libère son firmware pour que l'instrument survive à son fabricant — garder le pourquoi, la musique, lâcher le comment, la production. Le message de commit qui teste le pourquoi du changement. L'essai sur Ormuz qui montre que les why systémiques se propagent quand les comment technologies changent. Même les ondes corticales en spirales, tiens — le comment physiologique change de représentation, mais le pourquoi, la mémoire, reste.

Nicolas Moreau: Et c'est peut-être la bonne façon de conclure. Une journée d'actualité technologique, et partout le même motif : des comment qui se périment ou s'ouvrent — des brevets qui expirent, du code qui se libère, des bourses qui disparaissent, des métiers qui se transposent — et des pourquoi qui persistent et traversent.

Claire Martin: Merci de nous avoir écoutés. On se retrouve très bientôt pour une nouvelle édition.

Nicolas Moreau: Prenez soin de vous, et à la prochaine.