Foobar 技术周刊#160：大模型让大规模形式化软件验证成为现实，AI 写 C++ 代码后的调试短板

Foobar 技术周刊#160 收录 40 篇链接，重点提到 Claude 为 123 个开源库的 239 个模糊测试入口生成可机器校验的证明，让大规模形式化软件验证成为现实。Cloudflare 通过调整消息顺序命中提示词缓存，将 AI 代码评审平均成本从 2.43 美元降至 0.77 美元。另有视频对 50 万行 C++ 项目做基准测试，显示大模型写代码很强但排障仍有短板。