Tomer Tunguz:AI 编程时代的软件工程是用循环交付的系统设计
热点事件持续更新
Tomer Tunguz:AI 编程时代的软件工程是用循环交付的系统设计
2 篇报道1 个报道来源17 小时前更新
先了解这件事
AI 综述
2026 年 9 月 24 日,风投分析者 Tomer Tunguz 在其博客撰文,讨论 AI 编程对软件工程的影响。他认为,手写代码对多数程序员而言已不再是经济上有产出的工作,软件工程正转向设计让 AI 大规模正确写代码的系统,其核心是用循环交付的系统设计。 2026 年 10 月 2 日,Tunguz 再发文提出 AI 时代软件的两种构建哲学:vibe coding 像在多个培养皿中并行迭代让软件生长,而设计式软件是状态机设计。他称与 AI 共同设计状态机时可让 AI 给出流程图,把每个分支铺进表格使漏洞暴露,并用形式验证保证软件按预期运行,适合必须可靠的核心系统;文中引用 Boris Cherny 用 Lean 和 TLA+ 验证 Claude Agent SDK 的做法。两篇报道未出现数字、时间或说法上的矛盾。
AI 根据报道生成 · 1 小时前更新
最新进展10月2日 08:00
Tomer Tunguz:软件是养出来的还是设计出来的事件进展
2 个进展
- 10月2日 08:00 · 1 篇报道Tomer Tunguz:软件是养出来的还是设计出来的Tomer Tunguz 博客:Tomer Tunguz:软件是养出来的还是设计出来的
- 9月24日 08:00 · 1 篇报道Tomer Tunguz:AI 编程时代的软件工程是用循环交付的系统设计Tomer Tunguz 博客:Tomer Tunguz:AI 编程时代的软件工程是用循环交付的系统设计
报道时间线
沿着报道,了解事件的不同侧面。
10月2日
- Tomer Tunguz 博客Tomer Tunguz:软件是养出来的还是设计出来的
VC Tomer Tunguz 提出 AI 时代软件的两种构建哲学:vibe coding 像在多个培养皿中并行迭代让软件生长,而设计式软件是状态机设计。与 AI 共同设计状态机时可让 AI 给出流程图,把每个分支铺进表格使漏洞暴露,并用形式验证(引用 Boris Cherny 用 Lean 和 TLA+ 验证 Claude Agent SDK 的做法)保证软件按预期运行,适合必须可靠的核心系统。
9月24日
- Tomer Tunguz 博客Tomer Tunguz:AI 编程时代的软件工程是用循环交付的系统设计
Tomer Tunguz 撰文认为手写代码对多数程序员已不再是经济上有产出的工作,软件工程正转向设计让 AI 大规模正确写代码的系统。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。