Blog — Intrane.fr (Page 3)

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

Product · July 2026

Tailwind Without Node: 172 kB, 16 ms, and a Way to Prove It

My agent-first design system compiles its stylesheet in 16 ms from a 172 kB binary — no Node. The trick isn't the rewrite: it's differential-testing every emitted rule against the real tailwindcss binary, so “100% compatible” is a green check, not a claim.

#machin #tailwind #design-system #wasm #ai-engineering

Language · July 2026

A 1B-parameter LLM at 20 tokens/second, in a language you've never heard of

I challenged machin — my machine-first language — to run TinyLlama-1.1B at 20 tok/s on a laptop CPU, pure MFL, no C kernels. It hit 21.8, token-identical to llama2.c, and 4x faster than the reference C single-threaded. Here's the 2.1 -> 21.8 arc and what it drove into the compiler.

#machin #llm #inference #performance #ai-engineering

AI Engineering · July 2026

The Agent That Built a Game While I Watched the Filesystem

I handed a whole task — build a small physics game, then ship it — to an autonomous AI agent and walked away. For six minutes it looked completely dead. Here's the debugging story, the game it built (playable in your browser), and why the engineering around the agent is the part that matters.

#machin #ai-agents #webassembly #roam #game-dev

Product · July 2026

The CRM That Maintains Itself

Every CRM dies of stale data because humans won't do data entry. So I built the one you never open — an agent runs it, cold-mail and cold-calls send themselves, replies and call outcomes log themselves. One binary, open source, hosted from €19/mo.

#crm-cli #crmd #agent-first #open-source #machin

Product · July 2026

An AI Agent Audits Your LinkedIn Profile — In Public

A free tool: paste your LinkedIn URL and an autonomous agent audits your profile in public — as a GitHub issue, a pull request, and a shareable report. It's a live demo of three things I've been building: mago (agents that run companies), hart (self-hosted artifacts), and machin (one binary, no Node).

#ai-agents #mago #machin #linkedin

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

Product · July 2026

grepapi — The Lead Engine That Found Its Own Customers

I built an affordable, agent-first alternative to SerpApi — a GTM warm-lead engine that returns real companies with phone numbers and warm LinkedIn leads, each with a brief your own LLM turns into outreach. Then I pointed it at its own market, and it found its first customers.

#grepapi #gtm #machin #agent-first #saas

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