HNHiroyuki Nakahatainblog.iroha1203.dev·4d ago · 25 min readThe 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 n21B
HNHiroyuki Nakahatainblog.iroha1203.dev·Sep 7 · 15 min readAI 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 mor15JJM
HNHiroyuki Nakahatainblog.iroha1203.dev·Sep 6 · 23 min readThe 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) cannot00
HNHiroyuki Nakahatainblog.iroha1203.dev·Aug 16 · 18 min readUncharted 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 w41T
HNHiroyuki Nakahatainblog.iroha1203.dev·Aug 11 · 22 min readSemantic Geometry of ArchitectureTL;DR Does software architecture have a denotational semantics? Yes. But it differs from the classical one in three ways. Syntax is generated from observation. The meaning of a whole system does not 10
