真正的分歧不在于“AI编码 vs 真实编码”,而在于“无监督生成 vs 经过验证的工程”。
摘要
文章认为,AI辅助开发中的真正分歧并非AI与人类编码的对立,而是无监督生成与经过验证的工程之间的对立;工程师应当围绕AI生成器构建验证与控制系统。
我认为“AI垃圾”这个词已经过于粗糙,无法再准确描述问题。真正的区别不在于代码是否由智能体编写,而在于是否有人真正对结果进行了工程化验证。一个智能体可以在几分钟内生成5000行代码。这很了不起。但如果没有人明确行为规范、检查架构、测试故障模式、审查安全边界,并验证实际运行的内容,那这5000行代码就毫无意义。但反过来也一样:手动敲出同样的5000行代码并不会神奇地让系统变好。质量护城河正在上移。生成变得廉价,验证变得有价值。这意味着:
- 更好的任务分解
- 更强的验收标准
- 尽可能使用确定性测试
- 静态分析
- 对抗性审查
- 可观测性
- 回归检查
- 架构约束
- 对智能体所做更改的明确所有权
能够在这些边界内运行智能体的工程师将获得巨大的杠杆效应。而那些只写一次提示词就完全信任结果的人,最终会发布灾难性的产品。至于那些因为“真正的程序员都是自己敲代码”而拒绝整个类别的人,则会自愿放弃杠杆效应。我认为未来不是“氛围编码”取代工程。我认为未来是工程围绕能力日益强大的生成器构建控制系统。这比争论源代码的每一个token到底是谁亲手生成的要有趣得多。
相似文章
软件开发正从“你能写代码吗?”转向“你能让正确的系统存在吗?”
文章认为,随着AI使代码生成变得更便宜,软件工程的价值从编写代码转向定义、监督、验证并拥有最终系统,这有利于积极采用AI工具的工程师,同时提高了验证标准。
“AI slop”辩论将三个不同的问题混为一谈:作者归属、生产力和工程质量
文章认为,“AI slop”的争论混淆了作者归属、生产力和工程质量,并提议将生成式编码系统视为工程控制回路中的高吞吐量、易出错的生产者,将稀缺技能转向规范制定、验证和问责。
AI并未消除工程工作,只是把难点转移到了别处。
AI让编写代码变得更便宜,却将难点转移到了设定上下文、审查和清理上,需要更熟练的监督。文章认为,团队常常把AI生成的代码当作成品,而实际上它只是一个快速的初稿。
@VraserX:真正的人工智能鸿沟不会出现在使用AI的人和不使用AI的人之间,而会出现在拥有机器的人…
这条推文认为,真正的人工智能鸿沟将存在于拥有机器的人和劳动因机器而变得多余的人之间,而不是使用者和非使用者之间。
大规模生产代码库中的代理式编码:成功、失败模式与防护措施
来自数据库、iOS、前端、数据工程和后端领域的工程师讨论了AI代码生成如何将难点转移到验证和集成上,需要人类对细微风险和架构适配性做出判断。