以前形式化验证是只有大厂安全团队才玩得起的东西，现在 AI 把成本打下来了，「证明代码不会崩」可能跟写代码一样平常。以后 PR 模板里估计会多一项：附上 A… · @yueke · TwKit

@yueke

以前形式化验证是只有大厂安全团队才玩得起的东西，现在 AI 把成本打下来了，「证明代码不会崩」可能跟写代码一样平常。以后 PR 模板里估计会多一项：附上 AI 的验证报告，review 先看证明再看 diff。这套流程要是真跑通了，软件质量能上一个大台阶。

曝光 66 · 评论 0 · 点赞 1 · 书签 0