Trail of Bits 发布了两款插件:patching-bugs 负责复现报告的缺陷、开发修复并测试;regression-hunt 负责检查改动是否破坏了原本正常且受支持的行为。起因是他们此前与 OpenAI 合作的 Patch the Planet 项目在合并的 130 多个补丁中确认引入了 21 个回归(16 个功能、1 个性能、4 个构建/测试),虽然没破坏安全防护,但说明只靠智能体打补丁不够稳。两款插件通过固定流程、严格输入输出格式,并要求每条结论都用真实运行环境的「概念验证」复现来减少误报;初步评测中 regression-hunt 的误报比一个被要求「审查回归」的 Codex 基线智能体少 25%。对工程师和开源维护者来说,这提供了一种更可控、可复核的方式把补丁开发和回归检查交给智能体,同时保留人工审核和项目自身的安全规则。目前是刚发布的插件,评测为初步结果。
文中可用工具
- patching-bugs复现报告缺陷、开发修复并测试的智能体插件
- regression-hunt检查代码改动是否破坏原有正常行为的智能体插件
- Codex作为对照基线的智能体,也被工程师用于编写补丁
展开详情收起详情:你的 AI 智能体修好了缺陷,但它还改了什么?⌄
Trail of Bits Blog
原文发布:2026-10-21 23:00收录:2026-10-22
卡内基梅隆大学研究了采用 Cursor 的公开代码仓库,发现头一个月新增代码行数涨了 3 到 5 倍,但大约两个月后涨幅就消失了;同时静态分析警告多了 30%,代码复杂度上升 41%。也就是说,写代码变快了,但检查代码仍然主要靠人工评审,速度没跟上,评审反而成了瓶颈,技术债也在增加。Sonar 提出用自动化验证补上这一环:在智能体写代码时、CI 合并前、以及上线后的维护阶段都持续检查,让问题更早、更便宜地暴露,而不是让模型自己给自己的作业打分。对团队来说,这意味着在享受 AI 提速的同时,仍能守住代码质量和安全标准。
文中可用工具
- CursorAI 编程工具,研究中用于观察采用后的代码增长情况
- SonarQubeSonar 的核心代码质量平台,用于测量代码质量和静态分析警告
展开详情收起详情:AI 加速了编程,Sonar 用验证带来信心⌄
The New Stack
原文发布:2026-10-21 21:00收录:2026-10-22
作者 Janardhan Reddy Chejarla 介绍了一种分布式 Spring Batch 分区方案:通常这类任务需要一个持久共享的作业仓库数据库,同时往往还要靠消息代理来协调各节点。这篇文章把那个数据库直接当作唯一的协调中心,不再使用消息代理。做法是根据当前在线节点数分配工作量,每个作业临时选出一个主节点而没有常驻协调者,用比较并设置的方式认领任务以避免重复执行,并用两阶段心跳实现故障转移。文章也说明了在什么情况下仍然应该使用消息代理。
文中可用工具
- Spring Batch用于批处理分区的 Java 框架,文章讨论的分布式方案基于它
- 消息代理原文未说明具体产品;文章讨论的方案选择不用它来协调
展开详情收起详情:无需消息代理的分布式 Spring Batch⌄
InfoQ Architecture & Design
原文发布:2026-10-21 17:00收录:2026-10-22