https://yann.regis-gianas.org/en/posts/Recent content in Posts on Yann Régis-Gianas' blogHugoenWed, 12 Aug 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/code-agent-crisis/Sun, 10 May 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/code-agent-crisis/Software engineering has had two crises before. They had the same shape: something became cheap, and the work moved to whatever was still hard. We are in the middle of a third.https://yann.regis-gianas.org/en/posts/harness-not-output/Fri, 22 May 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/harness-not-output/An agent is a stochastic function with no memory. Everything you can improve is around it, which is why the durable engineering object is the loop, not the output. The argument from first principles, and the slogan that follows: fix the loop, not the output.https://yann.regis-gianas.org/en/posts/the-loop-i-run/Wed, 05 Aug 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/the-loop-i-run/The concrete loop: five activities in a ring, three components the team owns, a persistent model of the engineer at the centre, and the routing rule that decides which layer a failure belongs to.https://yann.regis-gianas.org/en/posts/keep-the-engineer-in-the-loop/Wed, 05 Aug 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/keep-the-engineer-in-the-loop/Autonomous cycles erode the understanding of the person accountable for the system. This essay states the alignment objective, keep the engineer’s mental model tracking the project closely enough to steer it, poses it as four concrete problems, shows the public experimental tools that start to answer each, and names what is still open.https://yann.regis-gianas.org/en/posts/what-the-proof-found/Wed, 05 Aug 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/what-the-proof-found/In one recorded day, a proof assistant refused a specification its engineer had approved, and later certified two true theorems about a tool whose hidden words a list of forty guessed words read off in milliseconds. A different station of the loop caught each defect. This essay walks that day, tool by tool, screen by screen, against a public record.https://yann.regis-gianas.org/en/posts/hello-world/Thu, 02 Apr 2026 00:00:00 +0000https://yann.regis-gianas.org/en/posts/hello-world/Introducing this blog — why I’m writing about software engineering in the agent era.