Blog — Intrane.fr

Language · July 2026

The compiler that hands you the murder weapon

An AI writes most of the code now — and its failure mode is the plausible-but-wrong function. So I taught the machin compiler to be an adversary: it hunts for the exact input that breaks your code, hands it back with a runnable repro, and — when the input space is small enough — proves there isn't one. Honestly.

#machin #compiler #verification #ai-engineering #design-by-contract

Language · July 2026

The Language That Maintains Itself

First machin compiled itself. Then I handed its maintenance to an autonomous agent fleet: 104 merged PRs in three days, 40 issues cleared, trust score 57→100. Here's the honest version — the five systems bugs autonomy actually required, the gates that held, and the fix an agent claimed that a repro disproved.

#machin #ai-agents #autonomous-maintenance #compiler #ai-engineering

Language · July 2026

Fearless Concurrency Without the Send/Sync Tax

Rust guarantees data-race freedom, but you pay for it in Send/Sync bounds and lifetimes — a tax on the human. I built the same class of guarantee into machin, inferred by the compiler with zero annotations. Here's why a machine-first language makes that tractable.

#machin #concurrency #compiler #ai-engineering

Language · July 2026

The Day My Language Started Compiling Itself

A year ago I built a programming language for AI agents. This year it crossed the line that separates a toy from a real compiler: it started compiling itself — byte-for-byte, faster than the original. Here's how, and why it's the clearest proof of how I build software with AI.

#machin #compiler #self-hosting #ai-engineering

Language · June 2026

Why I Built a Language for AI Agents

Machin isn't just another programming language — it's a statement about who controls the stack. Zero type annotations, one function per line, compiled to native speed through C. Built for machines to write and edit, not humans to read.

#machin #compiler #ai-agents