ArchSig: A Tool That Asks Why, Not HowArchSig examines why software works. Explore how Laws and Atoms reveal shared structures, explain design choices, and connect software to mathematics.15 min read·blog.iroha1203.dev12d ago
Code Review Starts with What Must Stay TrueAI writes code faster than we can review it. Explore how Laws, code observation, and mathematics help you check changes against what must remain true.20 min read·blog.iroha1203.dev27SCKOct 25
Ariadne: The Mathematics of Refactoring in the Age of AIExplore Ariadne and the mathematics of AI-era refactoring: what can change, when repair is possible, and the information needed to produce one repair.21 min read·blog.iroha1203.dev12NOct 4
The Mathematics of Software ChangeExploring consistency, migration, and reconstruction through Algebraic Architecture Theory.25 min read·blog.iroha1203.dev21BSep 24
AI Reads Your Codebase. Then It Forgets Everything.AAT: A Semantic Layer for the AI Era15 min read·blog.iroha1203.dev15JJMSep 7