iiinova — where your digital self keeps evolving

Mathieu Acher @macher.bsky.social · 11/09/2026

Les agents de code peuvent potentiellement customiser n'importe quel jeu ancien. Démonstration: Jonah Lomu Rugby (1997) avec amélioration des graphismes/résolutions + nouvelle fonctionnalité (sélectionner Mehrtens + rejouer célèbre bug sonore) www.youtube.com/shorts/Ca5qT...

youtube.com

Les agents de code peuvent customiser des vieux jeux (Jonah Lomu Rugby, 1997) #code #rugby #jeux #IA

YouTube video by CodeplAI: IA, Code & Jeux

000

Mathieu Acher @macher.bsky.social · 11/09/2026

Les agents de code arrivent à customiser "Dune II : La Bataille d'Arrakis" le mythique jeu vidéo (1992). A partir d'instructions en anglais/français, l'agent analyse le code cryptique et le fait varier pour produire des variantes du jeu original www.youtube.com/shorts/SjMWd...

youtube.com

Les agents de code peuvent customiser des jeux (Dune II : La Bataille d'Arrakis) #code #IA #dune

YouTube video by CodeplAI: IA, Code & Jeux

000

Mathieu Acher @macher.bsky.social · 08/09/2026

l'exposé sur Youtube: youtube.com/watch?v=Aj5a... (l'exposé commence à 13min42s) les diapos: blog.mathieuacher.com/languages-co... et encore plus de liens sur mon blog: blog.mathieuacher.com/LangagesProg...

youtube.com

Semaine IA et société 2026 : vers des usages responsables ? Live Session 04/09/2026

YouTube video by Université de Rennes

010

Mathieu Acher @macher.bsky.social · 08/09/2026

Mon exposé sur les langages de programmation à l'ère des agents de code est disponible en ligne, que ce soit via Youtube ou les diapos. Avec du FIFAcher, un triple interpréteur en langages ésotériques M&Ms, Brainfuck, ArnoldC, un jeu d'échecs en LaTeX ou bien (beaucoup) de COBOL 1/2 ⏬⏬⏬

youtube.com

Semaine IA et société 2026 : vers des usages responsables ? Live Session 04/09/2026

YouTube video by Université de Rennes

121

Mathieu Acher @macher.bsky.social · 03/09/2026

La conférence s’inscrit dans la semaine « IA et Société » organisée par l’Université de Rennes et les partenaires du projet TIARe. 📺 Direct YouTube : youtube.com/@RennesUniv Programme : intelligence-artificielle.univ-rennes.fr/semaine-ia-2...

youtube.com

Université de Rennes

Bienvenue sur la chaîne de l'Université de Rennes

000

Mathieu Acher @macher.bsky.social · 03/09/2026

Demain, vendredi 4 septembre à 9h, je parlerai de langages de programmation et de coding agents dans le cadre de la semaine « IA et Société » de l’Université de Rennes / TIARe. Au menu : Brainfuck, M&M’s, COBOL, FIFAcher, et quelques autres surprises 😉 En direct sur YouTube ou Amphi Inria

youtube.com

Université de Rennes

Bienvenue sur la chaîne de l'Université de Rennes

120

Mathieu Acher @macher.bsky.social · 19/06/2026

L'IA générative en PLS au jeu du 15 ? Nouvelle vidéo sur CodePlAI, avec des résultats sur les LLM de 2023 à 2026 (on peut gagner contre Fable, le modèle récemment retiré !), des explications sur leurs fonctionnements, et les expériences menées www.youtube.com/watch?v=hM69...

youtube.com

L'IA générative en PLS au jeu du 15?

YouTube video by CodeplAI: IA, Code & Jeux

000

Reposted by Mathieu Acher

Gro-Tsen @gro-tsen.bsky.social · 11/06/2026

On m'a demandé de regarder cette vidéo www.youtube.com/watch?v=AYPQ... de @monsieurphi.bsky.social sur les progrès des LLM en maths et de donner mon avis. Attention, ça va être très long!, parce que forcément j'ai beaucoup à raconter. 🧵⤵️ •1/59

112772

Mathieu Acher @macher.bsky.social · 29/05/2026

On passe pour des magiciens du jeu du 15 Première vidéo sur CodeplAI, ma nouvelle chaîne Youtube sur le code, les jeux, et l'IA (au sens large). www.youtube.com/watch?v=Fqci...

youtube.com

On passe pour des magiciens du jeu du 15

YouTube video by CodeplAI: IA, Code & Jeux

010

Mathieu Acher @macher.bsky.social · 14/04/2026

l'article original n'est pas vraiment clair (en + d'avoir des problèmes sur la taille du contexte + l'aspect one-shot)... mais soit, on est à la recherche de performances "super-human". De là à dire que les LLMs (et les coding agents) sont nuls en Brainfuck hummmm

010

Mathieu Acher @macher.bsky.social · 14/04/2026

ah parce que c'est facile d'écrire le truc qui écrit le code ? vraiment interdit ? je conviens que c'est moins difficile, mais la frontière est parfois floue : j'imagine que tu crées tes propres abstractions et/ou que tu génères une partie du code idiomatique...

210

Reposted by Mathieu Acher

Anne Cordier @annecordier.bsky.social · 13/04/2026

Bonjour à tous.tes Nous avons l'indicible douleur de vous faire part du décès de Séverine Erhel, survenu ce lundi 13 avril 2026 à Rennes. (information diffusée à la demande / avec l'autorisation de la famille)

245337208

Mathieu Acher @macher.bsky.social · 11/03/2026

Après l'UNESCO, l'exposition "Source Code" à la Cité des sciences et de l'industrie jusqu'au 25 mars. Avec notamment ma contribution "The Constant" (La Constante). Plus d'information ici: www.cite-sciences.fr/fr/au-progra... www.sourcecode-exhibition.softwareheritage.org/fr/la-consta...

cite-sciences.fr

Source Code Exhibition | Cité des sciences et de l'industrie

000

Mathieu Acher @macher.bsky.social · 27/02/2026

Blog post: blog.mathieuacher.com/TeXCCChessEn... Github: github.com/acherm/agent... Overleaf: overleaf.com/docs?snip_ur... I have co-dev other engines in Rust, C++, COBOL, Rocq, Lean, and Brainfuck. And others! I will present each of them in the next days blog.mathieuacher.com/FromScratchC...

blog.mathieuacher.com

TeXCCChess: How Coding Agents Wrote a Chess Engine in Pure TeX

What happens when you ask a 2026 coding agent like Claude Code to build a chess engine from scratch (with no plan, no architecture document, no step-by-step guidance) in a language that was never desi...

000

Mathieu Acher @macher.bsky.social · 27/02/2026

I asked a coding agent to build a chess engine from scratch in… LaTeX. Incredible: ~2100 lines of TeX, negamax (depth ~3), ~1280 Elo. A real software tour de force: board/state in macros+registers, logic via expansions. Never been done before Overleaf+github+blog⤵️ #TeXCCChess

131

Reposted by Mathieu Acher

Fabien Mikol @occam212.bsky.social · 24/11/2025

"Ce livre est au bon niveau de détail et d’abstraction, loin de la médiocrité des ignorants et fainéants qui pullulent dans l’espace médiatique. C’est un livre par ailleurs très bien écrit" Passionnante recension du livre de M. Phi par @macher.bsky.social ⤵️ blog.mathieuacher.com/LaParoleAuxM...

blog.mathieuacher.com

La Parole aux Machines (Philosophie des grands modèles de langage) par Monsieur Phi

“La Parole aux Machines” est un livre d’utilité publique. L’ouvrage permet de comprendre l’intelligence artificielle générative et les grands modèles de langage (aka LLM) en amenant le lecteur vers d...

021

Mathieu Acher @macher.bsky.social · 14/10/2025

🦜 vs 🐟 sur l’échiquier : ChatGPT ou Stockfish, qui gagne et pourquoi ? Mon exposé à la Fête de la Science @INSA_Rennes disponible sur Youtube, avec quelques excellentes questions d'élèves: youtu.be/TtGiT-tWdmE C'est ludique mais technique, accessible aux curieux/connaisseurs. #ChessEveryWhere

youtu.be

Perroquet (ChatGPT) vs Poisson (Stockfish)... Qui gagne ? Tester les IA par les échecs

YouTube video by macherm

000

Mathieu Acher @macher.bsky.social · 03/10/2025

Perroquet (ChatGPT) vs Poisson (Stockfish) Qui gagne ? Tester l’intelligence artificielle par les échecs. Retrouvez moi au Village des sciences à l'INSA Rennes le jeudi 9 octobre Plus d'information ici: www.fetedelascience.fr/perroquet-ch...

fetedelascience.fr

Perroquet (ChatGPT) vs poisson (Stockfish)

Comme les scientifiques qui observent les animaux, nous allons étudier deux intelligences artificielles en les faisant jouer aux échecs. ChatGPT, le "perroquet", et Stockfish, le "poisson", ont chacun...

010

Mathieu Acher @macher.bsky.social · 31/07/2025

I presented "Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research" at ACM REP conference 2025 . Blog post with links to preprint, slides, and raw transcript: blog.mathieuacher.com/TeachingRepr...

000

Mathieu Acher @macher.bsky.social · 26/06/2025

Blog post: blog.mathieuacher.com/GPTReasoning... Code: github.com/acherm/gptch... with deeper insights, such as: * o3 can sometimes synthesize code to play chess, but fails * o3-high seems a special beast, but it is an unreliable model (illegal move may occur after 10 moves) and 15$ for a game!

blog.mathieuacher.com

General-Purpose AI in the Endgame: The Chess Limitations of o3/o4-mini

o3 and o4-mini are large language models recently realeased by OpenAI and augmented with chain-of-thought reinforcement learning, designed to “think before they speak” by generating explicit, multi-st...

010

Mathieu Acher @macher.bsky.social · 26/06/2025

The latest generation of reasoning LLMs perform worse at #Chess compared to previous models. o3 & o4‑mini vs weak Stockfish: illegal moves in 88% & 94% of 67 games. o3 breaks rules in 4 moves; both resigned while winning. Worse than GPT‑3.5‑turbo‑instruct (1750 Elo)

110

Mathieu Acher @macher.bsky.social · 09/06/2025

#KubeDiagrams just crossed 1K stars on Github. It allows generating Kubernetes architecture diagrams from Kubernetes yaml files (among others). Developed by Philippe Merle from Inria Spirals team .

000

Mathieu Acher @macher.bsky.social · 10/05/2025

Un élément nouveau de la vidéo #Devoxx concerne ce comportement étrange de gpt-3.5-turbo-instruct. A voir s'il est possible de reproduire ;) Assez lié à une autre série d'expériences où j'ai montré comment gagner en 4 ou 7 coups de manière systématique blog.mathieuacher.com/ChessWinning... 3/3

000

Mathieu Acher @macher.bsky.social · 10/05/2025

Les deux vidéos sur Youtube: - #Devoxx www.youtube.com/watch?v=bO96... - la vidéo originale www.youtube.com/watch?v=6D1X... qui est plus longue et a le temps de (notamment) expliquer mes expériences blog.mathieuacher.com/GPTsChessElo... 2/3

youtube.com

100

Mathieu Acher @macher.bsky.social · 10/05/2025

Les LLM rêvent-ils de cavaliers électriques ? - Thibaut Giraud @monsieurphi.bsky.social at @devoxx.fr Une variante de l'excellent "ChatGPT rêve-t-il de cavaliers électriques ?" avec quelques éléments nouveaux. Quelques pointeurs pour approfondir le sujet #echecs+LLM dans le thread 1/3

121

Reposted by Mathieu Acher

Devoxx France @devoxx.fr · 18/04/2025

Nous continuons avec Monsieur Phi “les LLM rêvent-ils de cavaliers électriques ?”

031

Mathieu Acher @macher.bsky.social · 09/05/2025

Interesting comment on my blog post about Stockfish and our study disq.us/p/32uips9

disq.us

000

Mathieu Acher @macher.bsky.social · 07/05/2025

President Macron Highlights Software Heritage at the Sorbonne: A Call for Europe to Embrace its Role in a Global Mission www.linkedin.com/pulse/presid... Highly related to CodeCommons codecommons.org that aims to provide open, responsible, and transparent AI on top of Software Heritage. Let's go!

linkedin.com

President Macron Highlights Software Heritage at the Sorbonne: A Call for Europe to Embrace its Role in a Global Mission

Europe's latest science agenda just featured Software Heritage. During the 'Choose Europe for Science' launch at the Sorbonne, President Emmanuel Macron cited our global archive: He delivered a powerf...

010

Mathieu Acher @macher.bsky.social · 30/04/2025

Real position coming from an online real game in #Chess960 I just played. Is it a draw? -0.3 according to Stockfish, but no clear plan. Chess engines are notoriously bad at resolving/assessing fortress-like position. But is it such a case? What do you think? #ChessEveryWhere

000

Mathieu Acher @macher.bsky.social · 17/04/2025

Just watched a great interview with Fields medalist Hugo Duminil-Copin by @scienceetonnante.com. At some point, there's a discussion on the role of AI in discovery. Hugo sees AI as a partner -- amplifying our approximations, filling gaps, sparking ideas. Blog post+transcript below 1/2🧵

110

Mathieu Acher @macher.bsky.social · 14/04/2025

Nice talk of Pierre L'Ecuyer about (parallel) random number generation for the 50th anniversary of @irisa-lab.bsky.social lab last week. Slides are here: www-labs.iro.umontreal.ca/~lecuyer/myf...

www-labs.iro.umontreal.ca

000

Mathieu Acher @macher.bsky.social · 02/04/2025

I like the simple examples given throughout the talk that give an intuition of the complexity problems. The kinds of issues mentioned are not necessarily new, but are very well articulated.

000

Mathieu Acher @macher.bsky.social · 02/04/2025

Why Can't We Make Simple Software? Great talk by Peter van Hardenberg about complexity in software engineering (robustness and generalization to inputs, the effects of scale, leaky abstractions, variability and combinatorial explosion, dependencies hell, etc) www.youtube.com/watch?v=czzA...

youtube.com

Why Can't We Make Simple Software? - Peter van Hardenberg

YouTube video by Handmade Cities

120

Mathieu Acher @macher.bsky.social · 24/03/2025

Comment favoriser la mixité dans les métiers du numérique ? Excellente intervention de Mélissa Cottin, directrice de l'association ESTIMnumérique youtu.be/w5vzyoH7JM0

youtu.be

Inria 18 mars 2025 : "Comment favoriser la mixité dans les métiers du numérique ?"

YouTube video by DiverSE Team

000

Mathieu Acher @macher.bsky.social · 20/03/2025

Final thoughts? ✅ Reproducibility matters—always verify results. ✅ Replicability matters even more. ✅ Depth sensitivity and domain specificities are critical in SE. ✅ MT needs refinement. Study: hal.science/hal-04943474v2 (published at IST journal) Blog post: blog.mathieuacher.com/Reproducibil...

hal.science

Re-evaluating Metamorphic Testing of Chess Engines: A Replication Study

Context: This study aims to confirm, replicate and extend the findings of a previous article entitled ”Metamorphic Testing of Chess Engines” that reported inconsistencies in the analyses provided by S...

000

Mathieu Acher @macher.bsky.social · 20/03/2025

A call to refine, not dismiss. MT is powerful & could work well for LLM-based chess engines. But for Stockfish, MRs must account for depth & move ordering.

100

Mathieu Acher @macher.bsky.social · 20/03/2025

Key takeaway? 🚨 The original study didn't parameterize metamorphic relations by depth! Metamorphic testing (MT) needs depth-aware refinement—some violations at low depth have limited interest. No impact on Stockfish depsite alarming claims

100

Mathieu Acher @macher.bsky.social · 20/03/2025

Can we fix this? Yes! We found where this happens exactly in the code. Symmetry can be enforced, but… it adds overhead/complexity.

100

Mathieu Acher @macher.bsky.social · 20/03/2025

The culprit? Move ordering. Stockfish orders legal moves differently depending on board symmetry. This affects search results at some depths. ❌ Not a bug, a feature of how the engine explores positions.

100

Mathieu Acher @macher.bsky.social · 20/03/2025

🔎 A Chess Mystery These mirrored positions should have the same evaluation, but at depth=20: 📊 Left: +0.66 📊 Right: -2.17 This is not just a low-depth issue—it rings a bell.

100

Mathieu Acher @macher.bsky.social · 20/03/2025

Reproducibility first! We replicated the study & confirmed MR violations at depth=10. Then we tested: ✔️ Higher depths (15, 20, beyond) ✔️ Realistic positions ✔️ Different Stockfish versions

100

Mathieu Acher @macher.bsky.social · 20/03/2025

The original study used metamorphic testing (MT) to check if mirrored positions were evaluated identically. 🚩 But depth=10 was used. Low-depth evaluations are unstable—were these real bugs or just artifacts of shallow search?

100

Mathieu Acher @macher.bsky.social · 20/03/2025

Metamorphic Testing, Reproducibility & a Curious Chess Engine Mystery We replicated a study that found inconsistencies in how Stockfish (the best engine in the world) evaluates mirrored positions. But the key issue? Depth sensitivity.🧵⬇️

100

Reposted by Mathieu Acher

SPLC 2025 @splcconf.bsky.social · 17/03/2025

📢 Call for Papers is OPEN! 📢 #SPLC2025, the leading conference on SPL and variability, is accepting submissions! Don't miss the opportunity to submit to the Research Track! 📅Main tracks – 3/4/25 📅Companion tracks – 12/6/25 🌐Info: 2025.splc.net #CallForPapers #CFP

054

Mathieu Acher @macher.bsky.social · 18/03/2025

Size coding an impressive graphics demo with wave simulations, sky and water shaders, etc. in 256 bytes. 256 b-y-t-e-s. Using a Rust-like syntax, some clever algos, and Web assembly. It's not my creation, and I found it in a video by @lauriewired.bsky.social. Some notes below

110

Reposted by Mathieu Acher

Monsieur Phi @monsieurphi.bsky.social · 16/02/2025

Nouvelle vidéo ! Ça cause de robotique sociale. youtu.be/fJv7-Ya_H5s

youtu.be

Sommes-nous prêts à vivre parmi des robots ?

YouTube video by Monsieur Phi

46111