Guillermo Rauch(@rauchg)· Guillermo Rauch (@rauchg)·· 9 天前AI 评估 · 16/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Guillermo Rauch：未来属于验证工程，证明、e2e 测试、基准与 linter 将并存
The future is verification-engineering. Proofs, (e2e) tests, benchmarks, linters… Some tests will ...
AI 导读
Guillermo Rauch 提出"验证工程"将成为未来方向，手段包括证明、e2e 测试、benchmark 和 linter，其中部分测试是确定性的，部分由 AI 智能体驱动。
来源：Guillermo Rauch(@rauchg) · x.com