Gabriel Spencer-Harper
① 他说过的话
5 条
如果你有穷尽式的验证，你就能以你的智能体写代码的速度发布代码。
指向原始笔记的链接
if you have exhaustive verification, then you can ship code at the speed that your agents write it.
—— Gabriel Spencer-Harper · [00:45]
审查和验证现在成了新的瓶颈。
指向原始笔记的链接
And review and verification is now the new bottleneck.
—— Gabriel Spencer-Harper · [01:57]
所以无论人类或智能体多么努力地事先在断言里预先定义软件的正确行为，可能的回归空间都太庞大，无法穷尽覆盖。
指向原始笔记的链接
So no matter how hard a human or an agent tries to define the correct behavior of software a priori upfront in assertions, the space of possible regressions is too vast to exhaustively cover.
—— Gabriel Spencer-Harper · [02:09]
通常，按我们带立场的观点来说，代码覆盖率对世界上除 Meticulous 之外的每一个工具来说都是一个糟糕的指标。
指向原始笔记的链接
Typically, I would say that code coverage in our opinionated view is a terrible metric for every tool in the world apart from meticulous.
—— Gabriel Spencer-Harper · [09:26]
但在 Meticulous,这两者实际上近似相等，因为我们做了一件非常不寻常、非常激进的事：我们在整个流程中每一个可能的时刻都截取一张截图。
指向原始笔记的链接
But with meticulous, it actually is approximately the same because we do this really unusual and radical thing, which is we’re taking a screenshot at every possible moment throughout a flow.
—— Gabriel Spencer-Harper · [09:48]
② 出现在这些集
1 集
- 《AI 写代码太快的时代，验证才是新瓶颈》 — 作为嘉宾
③ 他谈到的
点进去有真内容 —— 本页主要出口
Meticulous · 验证 · 基于断言的测试 · 代码覆盖率 · 确定性 · pull request