A program is the Theory in its builders' minds, not the code

math_rachel · x · 2026-08-19

Rachel Thomas summarizes Naur's "Programming as Theory Building": a program is the Theory held by the people who build and maintain it — the constraints and trade-offs that shaped it, why it works, what changes fit its design. The complexity to reduce is Theory complexity, and the needed information doesn't live in the code.

Related event: Answer.AI's Long Read: Why LLMs Can't Simplify Your Code, per Naur's Programming as Theory Building(5 posts)→

Original post →

More from coding & agent

coding & agent channel →