Tag – Mathieu Acher – Professor in Computer Science

artificial intelligence

metamorphic testing

natural language

programming languages

reasoning models

reinforcement learning

reproducibility

scientific thinking

software complexity

software engineering

software testing

video recording

584 moves

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

AI

AlphaZero

Quick Thoughts about "Bridging the Human–AI Knowledge Gap: Concept Discovery and Transfer in AlphaZero" 26 Oct 2023 chess AI AlphaZero artificial intelligence

Brainfuck

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

COBOL

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

ChatGPT

Claude Code

TeXCCChess: How Coding Agents Wrote a Chess Engine in Pure TeX 24 Feb 2026 chess chess engine LLM coding agents LaTeX TeX pdfLaTeX Elo software engineering generative AI llm4code Claude Code

DSL

Testing your DSLs in Langium 05 Nov 2023 xtext langium DSL compiler interpreter testing

Elo

Java

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

Kasparov

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

LLM

LaTeX

Lean

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

Manim

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

OBS

OBS and Virtual Cam (Linux) 10 Sep 2020 teaching dissemination OBS video recording camera linux

Rocq

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

Rust

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

TeX

TeXCCChess: How Coding Agents Wrote a Chess Engine in Pure TeX 24 Feb 2026 chess chess engine LLM coding agents LaTeX TeX pdfLaTeX Elo software engineering generative AI llm4code Claude Code

UML

Thanks ChatGPT for the tricks with PlantUML layout 10 Oct 2023 modelling UML language ChatGPT LLM layout

abstractions

A Quick Take on 'Why Can't We Make Simple Software?' by Peter van Hardenberg 01 Apr 2025 software complexity robustness variability software engineering dependencies abstractions reproducibility

agents

AI Cheating at Chess: Some Notes 25 May 2025 ChatGPT LLM generative AI openai chess cheating agents reasoning models

alphazero

Stockfish(1): Chess Piece Values 16 Feb 2023 chess stockfish alphazero

art

Size Coding a Cinematic Experience Fitting Into 256 bytes 18 Mar 2025 programming art minification wasm sizecoding code golf

artificial intelligence

backup

Some tricks to backup large data (like dump with SQL) 04 Apr 2019 data backup sql

benchmark

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

camera

OBS and Virtual Cam (Linux) 10 Sep 2020 teaching dissemination OBS video recording camera linux

cheating

AI Cheating at Chess: Some Notes 25 May 2025 ChatGPT LLM generative AI openai chess cheating agents reasoning models

chess

chess engine

clubquarantine

Underrated Electronic Music Tracks (The Case of Club Quarantine) 21 Mar 2022 music underrated clubquarantine gabrieldresden

code golf

Size Coding a Cinematic Experience Fitting Into 256 bytes 18 Mar 2025 programming art minification wasm sizecoding code golf

coding agents

compiler

Testing your DSLs in Langium 05 Nov 2023 xtext langium DSL compiler interpreter testing

conference

VaMoS 2024 11 Feb 2024 dissemination variability variants configuration conference vamos

configuration

VaMoS 2024 11 Feb 2024 dissemination variability variants configuration conference vamos

creativity

Creative Collaboration with AI: Insights from Hugo Duminil-Copin on Mathematics and Discovery 16 Apr 2025 AI scientific thinking discovery creativity mathematics

data

data analysis

COVID and Home Advantage in Football: An Analysis of Results and xG Data in European Leagues 23 May 2021 football expected goals xG data analysis

deepseek

DeepSeek-R1 is Worse than GPT-2 in Chess 22 Jan 2025 ChatGPT LLM generative AI deepseek chess reinforcement learning

dependencies

A Quick Take on 'Why Can't We Make Simple Software?' by Peter van Hardenberg 01 Apr 2025 software complexity robustness variability software engineering dependencies abstractions reproducibility

discovery

Creative Collaboration with AI: Insights from Hugo Duminil-Copin on Mathematics and Discovery 16 Apr 2025 AI scientific thinking discovery creativity mathematics

dissemination

docker

Docker New Inactive Image Policy and Reproducible Science 01 Sep 2020 reproducibility docker experiments science

education

A Year of Teaching (2018-19 season) 25 Jun 2019 teaching education scholar

electronic

Is Cercle the new Essential Mix? 18 Mar 2020 music electronic media

endgame

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

expected goals

COVID and Home Advantage in Football: An Analysis of Results and xG Data in European Leagues 23 May 2021 football expected goals xG data analysis

experiments

Docker New Inactive Image Policy and Reproducible Science 01 Sep 2020 reproducibility docker experiments science

football

french

La Parole aux Machines (Philosophie des grands modèles de langage) par Monsieur Phi 23 Nov 2025 ChatGPT LLM generative AI openai chess french

gabrieldresden

Underrated Electronic Music Tracks (The Case of Club Quarantine) 21 Mar 2022 music underrated clubquarantine gabrieldresden

game theory

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

generative AI

gpt2

GPT-2 and Chess 08 Jan 2020 artificial intelligence chess learning natural language gpt2

interpreter

Testing your DSLs in Langium 05 Nov 2023 xtext langium DSL compiler interpreter testing

japan

Scientific Trip in Japan and SPLC 2023 30 Aug 2023 japan tokyo variability programming ChatGPT

java

Standalone Solution for Loading Models with Xtext 08 Mar 2019 xtext java parsing model

jupyter

langium

Testing your DSLs in Langium 05 Nov 2023 xtext langium DSL compiler interpreter testing

language

Thanks ChatGPT for the tricks with PlantUML layout 10 Oct 2023 modelling UML language ChatGPT LLM layout

layout

Thanks ChatGPT for the tricks with PlantUML layout 10 Oct 2023 modelling UML language ChatGPT LLM layout

learning

linux

llm4code

lyon

Talk at Embedded Linux Conference Europe 2019 30 Oct 2019 linux open source lyon dissemination

markdown

Jupyter and Markdown 26 Jan 2019 data python jupyter markdown

mathematics

Creative Collaboration with AI: Insights from Hugo Duminil-Copin on Mathematics and Discovery 16 Apr 2025 AI scientific thinking discovery creativity mathematics

media

Is Cercle the new Essential Mix? 18 Mar 2020 music electronic media

metamorphic testing

Reproducibility, Metamorphic Testing, and the Subtleties of Assessing Inconsistencies in AI Systems 19 Mar 2025 reproducibility metamorphic testing software testing replicability variability chess stockfish software engineering

metascience

Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research 30 Jul 2025 reproducibility variability replicability metascience software engineering teaching chess soccer football

minification

model

Standalone Solution for Loading Models with Xtext 08 Mar 2019 xtext java parsing model

modelling

Thanks ChatGPT for the tricks with PlantUML layout 10 Oct 2023 modelling UML language ChatGPT LLM layout

music

natural language

GPT-2 and Chess 08 Jan 2020 artificial intelligence chess learning natural language gpt2

open source

Talk at Embedded Linux Conference Europe 2019 30 Oct 2019 linux open source lyon dissemination

openai

parsing

Standalone Solution for Loading Models with Xtext 08 Mar 2019 xtext java parsing model

pdfLaTeX

TeXCCChess: How Coding Agents Wrote a Chess Engine in Pure TeX 24 Feb 2026 chess chess engine LLM coding agents LaTeX TeX pdfLaTeX Elo software engineering generative AI llm4code Claude Code

philosophy

The Irrational July 12, 1998 11 Jul 2023 football chess philosophy

polyglot

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

programming

programming languages

Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and More 23 Feb 2026 chess chess engine LLM coding agents programming languages polyglot Elo benchmark Rust Java COBOL LaTeX Rocq Lean Brainfuck software engineering generative AI llm4code

publications

(Academic) Failures and Successes in 2019 03 Jan 2020 scholar publications review

puzzles

Programming (Chess) Puzzles with a Tweet 22 Apr 2020 programming puzzles chess minification recreative python

python

reasoning models

recreative

Programming (Chess) Puzzles with a Tweet 22 Apr 2020 programming puzzles chess minification recreative python

reengineering

ChatGPT for Reengineering Variants 28 Aug 2023 ChatGPT LLM generative AI variability reengineering

reinforcement learning

replicability

reproducibility

review

(Academic) Failures and Successes in 2019 03 Jan 2020 scholar publications review

robustness

A Quick Take on 'Why Can't We Make Simple Software?' by Peter van Hardenberg 01 Apr 2025 software complexity robustness variability software engineering dependencies abstractions reproducibility

scholar

science

Docker New Inactive Image Policy and Reproducible Science 01 Sep 2020 reproducibility docker experiments science

scientific thinking

Creative Collaboration with AI: Insights from Hugo Duminil-Copin on Mathematics and Discovery 16 Apr 2025 AI scientific thinking discovery creativity mathematics

sigbok

On the Longest Chess Game Ever(!?) 10 Apr 2020 chess programming sigbok

sizecoding

Size Coding a Cinematic Experience Fitting Into 256 bytes 18 Mar 2025 programming art minification wasm sizecoding code golf

soccer

Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research 30 Jul 2025 reproducibility variability replicability metascience software engineering teaching chess soccer football

software complexity

A Quick Take on 'Why Can't We Make Simple Software?' by Peter van Hardenberg 01 Apr 2025 software complexity robustness variability software engineering dependencies abstractions reproducibility

software engineering

software testing

solving chess

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

sql

Some tricks to backup large data (like dump with SQL) 04 Apr 2019 data backup sql

stockfish

teaching

testing

Testing your DSLs in Langium 05 Nov 2023 xtext langium DSL compiler interpreter testing

tokyo

Scientific Trip in Japan and SPLC 2023 30 Aug 2023 japan tokyo variability programming ChatGPT

twitter

Twitter and Word Cloud 14 Feb 2019 data twitter python

underrated

Underrated Electronic Music Tracks (The Case of Club Quarantine) 21 Mar 2022 music underrated clubquarantine gabrieldresden

vamos

VaMoS 2024 11 Feb 2024 dissemination variability variants configuration conference vamos

variability

variants

VaMoS 2024 11 Feb 2024 dissemination variability variants configuration conference vamos

video recording

OBS and Virtual Cam (Linux) 10 Sep 2020 teaching dissemination OBS video recording camera linux

wasm

Size Coding a Cinematic Experience Fitting Into 256 bytes 18 Mar 2025 programming art minification wasm sizecoding code golf

weak solving

Is Kasparov Right about Solving Chess? The 584-Move Monster in a Cave and Why There's Hope 20 Feb 2026 chess solving chess game theory Kasparov weak solving Manim endgame 584 moves

xG

COVID and Home Advantage in Football: An Analysis of Results and xG Data in European Leagues 23 May 2021 football expected goals xG data analysis

xtext