高级第 5 / 12 节40 分钟 · 实操
Verification Loops: Make It Prove Itself
Vibe 编程：高级工程 课程的一部分
模型会告诉你它写的代码是正确的。它不是在撒谎，也不是说对了，它压根无从知晓。正确性要靠拿代码去跑一份「什么算正确」的定义才能确立，而对一个资深工程师来说，有意思的问题是：这份定义该怎么写，才能抓住生成代码真正会犯的那些错。这一课讲的就是把这个闭环合上，再把它交到模型手里，让它在你还没看差异之前就先跑一遍。
让模型给你写一个函数，顺带写上测试，你拿到的测试覆盖的正是这份实现已经处理好的那些情况。这不是它使坏，而是同一套生成过程、凭同一份理解，产出了这两样东西。测试原封不动地继承了实现的盲区。 ...
想在真实环境里学习 Vibe 编程：高级工程 Verification Loops: Make It Prove Itself 吗？
点击下方，立即获得一台预装 Vibe 编程：高级工程 的 Linux 主机，跟懂你代码的 AI 导师一起完成 Verification Loops: Make It Prove Itself 的实操练习。
开始这节课Verification Loops: Make It Prove Itself你将学到什么
- Properties and invariants instead of example tests
- Generated inputs find what handwritten examples miss
- Shrinking a counterexample before handing it over
- Closing the loop so the model checks itself
用你的语言阅读本课
本课程的所有课时
12 节- 1Context Is The Whole Game35 分钟
- 2Pick The Right Brain, Pay The Right Price25 分钟
- 3Spec-Driven Development35 分钟
- 4Build Your Harness35 分钟
- 5Verification Loops: Make It Prove Itself40 分钟
- 6Reading Generated Code Like A Senior40 分钟
- 7Legacy Archaeology40 分钟
- 8Migrations At Scale40 分钟
- 9Debugging Code You Did Not Write40 分钟
- 10The Security Model Of An Agent40 分钟
- 11AI On A Team30 分钟
- 12Judgment: Knowing When Not To35 分钟
探索其他课程
Python
19 节 · 9.3小时
Go
20 节 · 12.3小时
React
17 节 · 10.2小时
Linux
17 节 · 8.5小时
Docker
13 节 · 6.6小时
Git
13 节 · 5.9小时
Kubernetes
14 节 · 8小时
Ansible
12 节 · 6.1小时
Bash
12 节 · 5.7小时
Helm
10 节 · 5.4小时
GitLab CI
11 节 · 5.8小时
Jenkins
11 节 · 5.3小时
PostgreSQL
14 节 · 7.6小时
MySQL
13 节 · 6.8小时
Web
14 节 · 5.9小时
TypeScript
18 节 · 7.7小时
Vibe Coding
12 节 · 5.8小时
Prompt Engineering
11 节 · 6.2小时
Vibe 编程：基础
12 节 · 4.5小时
Vibe 编程：从原型到生产
12 节 · 5.5小时
Vibe 编程：多智能体工程
12 节 · 5.3小时