Ariadne: The Mathematics of Refactoring in the Age of AI“I want to add multilingual support to the site.” It sounds like a small change: add translation files and switch the strings shown on screen. Then you switch to English, and the return button disappe12NOct 4 · 21 min readblog.iroha1203.dev
The Mathematics of Software ChangeWhat should software engineering provide in an age when AI writes code? We divide design work across teams, implement features, and migrate systems that are already running. Throughout that work, we n21BSep 24 · 25 min readblog.iroha1203.dev
AI Reads Your Codebase. Then It Forgets Everything.AI Reads the Code. How Do We Keep What It Learns? “Move email delivery to a shared asynchronous queue.” The request fits in a sentence. The understanding needed to carry it out is scattered across mor15JJMSep 7 · 15 min readblog.iroha1203.dev
The Goddess of Plenty Smiles at the SummitEvery test passes. Every metric looks the same. Is that enough to judge whether a design change is sound? There are pairs of changes that the observations of AAT (Algebraic Architecture Theory) cannotSep 6 · 23 min readblog.iroha1203.dev
Uncharted Waters: Thirteen Rules for Not Trusting an AI's ProofsTL;DR I want to hand an AI agent a multi-day job and have it run to completion. This post collects the rules for that — thirteen of them. Never let the loop rewrite its own spec. Enumerate up front w41DAug 16 · 18 min readblog.iroha1203.dev
