论文译文
围绕 Naur 的核心论证组织中文学习入口。
编程作为理论建构
Peter Naur《Programming as Theory Building》完整中文译文与交互式导读：从代码交付转向系统理论、设计理由和维护者理解。
AI 编程
把理论建构用于 agent / AI coding 工作流。
检查表
沉淀设计理由、修改影响与系统当前状态。
这是恢复入口页。完整论文译文、交互注释和模板内容可继续从历史 commit 做 subtree 级还原。
entry_url: /projects/programming-as-theory-building/