观点 / 方法普通
Tomer Tunguz:软件是养出来的还是设计出来的
原始标题:Do We Grow Software or Do We Design It?
内容摘要
VC Tomer Tunguz 提出 AI 时代软件的两种构建哲学:vibe coding 像在多个培养皿中并行迭代让软件生长,而设计式软件是状态机设计。与 AI 共同设计状态机时可让 AI 给出流程图,把每个分支铺进表格使漏洞暴露,并用形式验证(引用 Boris Cherny 用 Lean 和 TLA+ 验证 Claude Agent SDK 的做法)保证软件按预期运行,适合必须可靠的核心系统。
内容分类AI 观点与方法
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Tomer Tunguz 博客(VC 分析)
站内情报编号intel-e2b0428f42d520529834afe1