Programming (with AI agents) as theory building

The article explores Peter Naur's concept that programming's primary output is the mental theory of how a system works, not just code. It examines whether AI agents allow developers to skip building these mental models and whether LLMs can construct such theories themselves.