Ariadne: The Mathematics of Refactoring in the Age of AI
Hiroyuki Nakahata
Command Palette
Search for a command to run...
Archive
17 posts published so far
The Mathematics of Software Change
Hiroyuki Nakahata
AI Reads Your Codebase. Then It Forgets Everything.
Hiroyuki Nakahata
The Goddess of Plenty Smiles at the Summit
Hiroyuki Nakahata
Uncharted Waters: Thirteen Rules for Not Trusting an AI's Proofs
Hiroyuki Nakahata
Semantic Geometry of Architecture
Hiroyuki Nakahata
Atlas Theorem: How Far Can You Zoom Out?
Hiroyuki Nakahata
Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects
Hiroyuki Nakahata
The SAGA Comparison Theorem Preprint Is Out: Two Rulers, One Reading
Hiroyuki Nakahata
SAGA's Cape of Good Hope: The One Cent That Cohomology Caught
Hiroyuki Nakahata
The Rising Sea of Software Engineering — Rebuilding the Discipline on Algebraic Geometry
Hiroyuki Nakahata
The SAGA Theorem: The Day Software Architecture Became Genuine Algebraic Geometry
Hiroyuki Nakahata
Atom Is All You Need: Read a Codebase as an Atom Map, Not a Dependency Graph
Hiroyuki Nakahata
Forecast Cone: A Grand Theorem for Computable Software Evolution
Hiroyuki Nakahata
Software Architecture as a Field: Asking Better Questions About Software Evolution
Hiroyuki Nakahata
AI Agents Don't Need Meetings: Gotanda Style for Stigmergic Software Maintenance
Hiroyuki Nakahata
Attractor Engineering: Seeing Software Development as Field Dynamics
Hiroyuki Nakahata