跳到正文
11月13日周五
  1. Hacker News · AI58

    研究发现:2026年上半年13.7%的新npm包存在AI风格的过时版本锁定

    Kobi Mozgori抽样了25万个npm包,发现新包中锁定依赖版本大多为已被取代的整数x.0.0版本的比例,从2019年至2024年初的1%–2.4%基线,上升至2026年上半年的13.7%,并在2026年下半年至11月初降至7.6%。2021–2023年,锁定依赖在包创建时的中位年龄约为155天,而2026年第二季度为451天;创建时几乎所有锁定版本均为最新发布的包占比从约28%降至约10%。作者将该模式表述为推断而非证据,因为注册表元数据无法显示是谁或什么编写了清单,并指出2026年中期以来的下降尚无解释。

  2. Hacker News · AI58

    GitHub 上星标最多的 AI 工具中,有多少是由编码智能体编写的?

    对 GitHub 上 52 个星标最多的 AI 工具仓库的完整 git 历史(共 324,088 次提交)进行分析后发现,中位数仓库在其最后 180 天的活动中有 16.9% 的提交带有 AI 签名,52 个仓库中有 21 个达到 25% 或以上。星标数与 AI 签名占比之间未发现可检测的关联(Spearman ρ = -0.05,p = 0.72),且 36,892 次签名提交中有 85.3% 来自 Claude,其工具默认会添加 trailer。作者提醒,大量使用 AI 的情况集中在 2025 年或之后启动的项目中,因此样本无法将 AI 使用与项目新旧程度区分开来,且每个 AI 百分比都是下限。

11月6日周五
  1. Microsoft Research58

    微软研究院的 PDD Kit 对智能体编写的全栈 Web 应用进行形式化验证

    微软研究院推出了 PDD Kit,这是一个研究原型,可将开发者的自然语言意图转化为 Verus 形式化规范,证明编码智能体生成的 Rust 代码对任意输入均满足该规范,并在证明无法覆盖之处回退到测试。在 GitHub Next 的 Chopin 中进行的一次演示中,团队使用 PDD Kit 验证了 Pet Store 的登录逻辑——这是一个约 5,000 行的 Rust 全栈应用——开发者审查的是意图产物,而非逐行审查生成的代码。PDD Kit 目前仅能验证 Rust,其保证依赖于六个经开发者批准的可信组件,包括 bcrypt 密码校验和两次数据库查询。

10月30日周五
  1. Meta Engineering Blog58

    Meta详细说明“Catching JiTTests”的生产部署,采用人在回路审查

    Meta已将Catching JiTTests——其基于LLM的即时测试生成方法——从研究原型转入生产基础设施,并在FSE 2026论文《Just-in-Time Catching Test Generation at Meta》中公布了结果。该系统利用空闲算力在夜间运行,针对高风险diff,通过dodgy-diff和意图感知工作流生成测试,并在结果送达工程师之前,用LLM-as-Judge集成加上基于规则的RubFake评估器过滤误报。截至撰写时,589名工程师(占触达人数的64%)参与了结果互动,结果显示真阳性率为60%;在2026年上半年,该系统在diff阶段捕获了74个严重隐私缺陷,并将隐私SEV降低了20%。

10月24日周六
  1. Epoch AI · Gradient Updates42

    Epoch简报:AI工作自动化测试、SpireClimb基准与Gemini 4 Argon的前沿推进

    Epoch AI在11项真实的Epoch工作任务上测试了六款领先模型,发现没有一款能可靠达到其质量标准,Claude Fable 5.1与GPT-6 Astra大致并列领先。其新推出的SpireClimb基准显示,前沿模型在六个月内从在《杀戮尖塔》中苦苦挣扎,发展到能以超过90%的胜率通过基础难度对局,其中GPT-6 Astra达到98%。Gemini 4 Argon在Epoch能力指数上得分166,与Claude Fable 5.1并列,落后于得分169的Claude Opus 5.5和GPT-6 Astra。

10月5日周一
  1. GitHub Blog · AI & ML58

    GitHub 发布 ReviewBench,一个用于 AI 代码审查的开放基准

    GitHub 发布了 ReviewBench,这是一个面向 AI 代码审查智能体的开放基准,基于 19 种语言的 219 个公开拉取请求构建,其语言和仓库规模分布参照 1.039 亿个 GitHub 拉取请求建模。黄金集从人类审查者、作者后续提交、静态分析和多个前沿 LLM 中提取发现,由 Claude Sonnet 5 按照已发布的评分标准评分,资深工程师独立重新标注了每一条发现,一致率为 96.6%。GitHub 表示,其对 Copilot 代码审查的离线评估预判了生产 A/B 测试的方向,其中已处理率上升 8.0%,召回率上升 13.6%,每次审查成本下降 8.0%。

4月29日周三
  1. Factory58

    Factory 对 13 个模型进行代码审查基准测试,发现 GPT-5.2 最佳、MiniMax M2.7 最便宜

    Factory 构建了一个开源基准测试,用来自 Sentry、Grafana、Keycloak、Discourse 和 Cal.com 的 50 个真实拉取请求测试 13 个模型,每个模型在高推理强度下对每个 PR 至少审查三次,并由 LLM 评审员根据人工整理的金标准集对发现进行评分。GPT-5.2 以 60.5% 的 F1 领先,每个 PR 成本 1.25 美元,领先于 Claude Opus 4.6 的 59.8% F1 和每个 PR 3.11 美元,而 MiniMax M2.7 以每个 PR 0.15 美元达到 45.6% F1,Kimi K2.5 以 0.41 美元达到 51.9% F1。Factory 表示成本仅解释约 21% 的质量差异,并开源了金标准集、评估脚本以及支持全部 13 个模型的 Droid Action GitHub Action。