「Agent 自验=垃圾场」:软件工厂的正确性不能靠编排
blaizedsouza · x · 2026-09-21
Dominik Tornow 提出对「软件工厂」(software factory)概念的批评:
- 理想定义:软件工厂端到端生产软件——人提供规格说明(specification),工厂交付经过验证的正确实现。
- 核心论点:正确性不能来自编排(orchestration)。更好的工作流、更好的 skills、更好的指令、更多 agent 互相检查,都行不通——因为「启发式方法无法为另一个启发式方法的结果背书」。
- 关键判断:如果验证工作也是由 agent 完成的,那你拥有的不是工厂,而是垃圾场(junkyard)。
这一观点指向 agent 编码工作流中被忽视的短板:缺少独立于 LLM 的形式化验证环节。
所属事件:专家质疑软件工厂思路,正确性不能靠编排(4 条相关)→
「编程与Agent」频道最新
- Cloudflare 推出 agent 运行时:智能体需要的是计算机而非容器 — irvinebroque · 2026-11-12
- ComfyUI 技巧:用分层 PNG 画 inpaint 蒙版反复复用 — Deftroyy · 2026-11-12
- 开发者 vibe coding 浏览器版 PUBG:100 人吃鸡跑通核心玩法 — TAbrodi · 2026-11-12
- Hudson Golino 开设 3 天直播课:用 R 构建 LLM 研究 Agent — GolinoHudson · 2026-11-12
- LangChain 首日适配 Google 新 Decisions API — Hacubu · 2026-11-12
- 在 Claude 里调 Runway Fable 5.2:从想法到可吹的电子长笛 — tlakomy · 2026-11-12