Addy Osmani：写代码不再是瓶颈，验证才是——让 Agent 自测的工作流
bibryam · x · 2026-10-19
Addy Osmani 长文《Agentic Verification》提出：AI 编码的主要瓶颈已从写代码转移到验证代码正确性。
核心主张：
- 不要逐行 review diff，而是构建让 agent 自主运行测试的闭环，把「检查」变便宜
- 测试类型有讲究：优先写模拟真实用户流程的 E2E 测试作 ground truth；用 property-based testing 定义「什么绝不能发生」并自动生成上千用例
- 替换旧系统时，用随机输入对比新旧版本输出
- 测试必须快速且确定性：慢或不稳定的循环会让 agent 学会重试而非真正修复
- 测试不只是防 bug，它定义了「完成」；人类仍把关上线，但审的是证据而非 diff
- 把品味沉淀下来：agent 犯错时写进共享配置、hook 或测试，避免二次犯错
「编程与Agent」频道最新
- Claude Code 仍默认在 commit 和 PR 里加 AI 署名,开发者不满 — maksym_andr · 2026-10-19
- soleio 锐评 Vercel:不只做 agent,还在批量制造自己的客户 — soleio · 2026-10-19
- 程序员只知其一的坏测试：测太少漏 bug，测太多又如何 — jimmykoppel · 2026-10-19
- Data World 论文：合成数据环境 RL 训练,DABstep-Hard 提升 20.9 分 — omarsar0 · 2026-10-19
- 用 Claude Code 改造父母的小米电视:删 25 个预装包,自制类 Apple TV 启动器 — SuhailKakar · 2026-10-19
- Protocol Labs 创始人炮轰 Claude Code 权限检查:摩擦大、误报多,还烧 token — juanbenet · 2026-10-19