Why LLMs can't make your code simpler, per Naur's "Programming as Theory Building"
math_rachel · x · 2026-08-19
Answer.AI publishes Pol Alvarez Vecino's essay applying Peter Naur's classic "Programming as Theory Building" to LLM coding limits:
- A program is the Theory in engineers' minds — the constraints, trade-offs and design rationale; code and docs are incomplete downstream artifacts.
- LLMs raise codebase complexity: duplicated methods, over-defensive code for impossible edge cases, premature optimization. Metrics like LoC can't fix it because the target is Theory complexity, which is subjective and unmeasurable.
- Conclusion: further training can't solve this — the needed information doesn't live in the code.
Related event: Answer.AI Applies Naur's Theory Building to Explain LLM Coding Limits(2 posts)→
More from coding & agent
- Demystifying Agent Skills: Why They Work-Until They Don't — Zhiyuan Jiang · 2026-08-19
- JetBrains Targets Students with Videos Claiming AI Coding Holds Them Back — paul_cal · 2026-08-19
- Next-Gen Agent Frameworks: Auto-Integrated Coded Extensions — _philschmid · 2026-08-19
- Engineer Open Sources Desktop Robot Using On-Device Model to Capture Emotions in Overlap Zones — 面壁智能 · 2026-08-19
- T3 Code author debunks critical report, citing outdated installs — CtrlAltDwayne · 2026-08-19
- a16z's Connie Chan: hardware will ship with prompts, not drivers — giffmana · 2026-08-19