专题：llm-code-generation

探讨LLM生成代码的局限性，区分规范与代码的抽象本质。通过英里转公里案例说明规范的多义性，指出程序合成仍是研究领域，强调测试用例作为规范的实践价值。核心观点：规范是实现的约束条件，而非具体代码，程序员仍需参与规范抽象过程。

文章提出了技术、认知、意图三层债务模型，阐释了将 LLM 纳入 Kahneman 双系统思维形成的三系统认知框架，并指出 AI 代理会把重点从编码转向验证。通过实验验证模型预测力，讨论了代码未来的语言趋势以及验证驱动开发的重要性，呼吁人机协作重塑团队工作流。