专题：test-driven-development

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

本文整理了作者在Pragmatic Summit上关于‘代理工程’的讨论内容，涵盖AI编码工具的采用阶段、信任机制、测试方法、代码质量提升及对开源生态的影响。讨论涉及具体工具如Showboat和Claude Code，以及开发模式如红绿TDD，为开发者和研究者提供了有价值的参考。

文章探讨了LLM在软件开发中的影响，包括认知债务、代码理解、抽象建模和开源维护的挑战。作者提出需要新的方法确保对AI生成代码的掌控，并反思AI如何解释复杂技术概念，如Transformer模型。

Anthropic公司报告展示了AI在软件开发中的实际应用，包括调试、功能实现和效率提升。Obie Fernandez通过TDD方法构建了基于Claude的知识提取工具Nexus，用于处理代码和数据。文章还探讨了AI在信息伪造中的风险，并强调了实验和反馈在AI开发中的重要性。