标签
Nolan Lawson认为，AI编程助手可以通过使用多个模型进行彻底的代码审查和漏洞检测，从而更慢地编写高质量代码，提升代码库的健康状况，而不是最大化输出速度。
Turso使用Quint形式化验证工具对SQLite的C API进行建模，并在SQLite自身中发现了超过10个漏洞，从而增强了其SQLite重写版的可靠性。