标签
Jane Street，此前对形式化方法持怀疑态度，现宣布转变观点，计划组建专注于形式化方法的团队。这一转变源于代理编程（agentic coding）的出现，它通过降低验证成本并增加对可靠代码的需求，改变了成本/效益计算。
这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。
Turso宣布停止其漏洞赏金计划，原因是大量低质量的AI生成提交泛滥，凸显了开源维护中日益严重的AI垃圾问题。