Mathieu Acher

@acherm

Professor @INSA_Rennes Researcher @DiverSE_Inria #IUF @InstUnivFr FIDE #Chess Master #SciencesDuLogiciel, Software #Variability, Artificial Intelligence

France

mathieuacher.com

Born May 26, 1993

Joined August 2009

4,859 Following

2,189 Followers

Replies Reposts Media

Pinned
Mathieu Acher
@acherm
Feb 27
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
16
Mathieu Acher
@acherm
Nov 5
Wow, impressive write-up. 3 ideas: 1. Build #variants: sshd × {glibc, musl} × {PAM, no PAM} 2. Feature #interaction: each is safe alone.. musl + no PAM lets locked accounts in with any 257+ char password 3. Differential #testing: same logins on all variants, one disagrees Poum!
ozgun
@kultekin
Nov 5
*sshole is out if you run sshd on alpine, openwrt or any musl box with password auth on: update now official writeup: sshhole.com
Mathieu Acher
@acherm
Nov 2
Only ~150 years ago, which is surprisingly not that long ago. The greeks knew a ton about propositional logic, but not Boolean algebra?
Association for Computing Machinery
@TheOfficialACM
Nov 2
Happy Birthday to George Boole, founder of Boolean Logic, who was born on this day in 1815. In 1854, George Boole published An Investigation of the Laws of Thought, which introduced a mathematical system for expressing logical relationships using algebra. This system allowed
Mathieu Acher
@acherm
Nov 2
Looking forward the ShareFAIR & Neurovasc Days (Institut Pasteur, Paris) 3 and 4 November. This Wednesday, I'll give a keynote on reproducibility in the age of coding agents: "Archived Variants, Generated Variants: Code Reproducibility between Software Heritage and LLM4Code" 1/2
2
Mathieu Acher
@acherm
Oct 28
Très bon @MalikBentalha hier à Rennes ! Engagé, touchant, et tellement drôle.

Mathieu Acher

Mathieu Acher’s posts