「软件工厂」观:LLM 只该负责生成,规约与验证不能交给它
blaizedsouza · x · 2026-09-20
DominikTornow 提出对 AI 软件工程的看法:「软件工厂」是规约(specification)、生成(generation)、验证(verification)三者的组合。由于 LLM 是概率性的,不应让它承担规约和验证;正确性是底线,在此之上才可以追求优化等更高目标。
「编程与Agent」频道最新
- 用户实测 Meta Muse 应用:3 小时订酒店砍账单卖闲置全代办 — armand_ruiz · 2026-09-20
- Lovable 设计 skill 落地页详览:示例项目展示 Linear 风 UI 效果 — damienghader · 2026-09-20
- 作者免费开放 Lovable 设计 skill 文件,一行接入提升应用设计水准 — damienghader · 2026-09-20
- LangChain 团队下周办线上研讨:用 Jev 打造更优 agent harness — hwchase17 · 2026-09-20
- Jev 多阶段分类搭配 XState 状态机，解锁真实世界 agent 进阶玩法 — DavidKPiano · 2026-09-20
- 开发者因 ComfyUI 在 Mac 上太慢,自建 Apple Silicon 本地模型启动器 — janishar · 2026-09-20