代码审查
GHC确立LLM辅助代码贡献新政：严禁“提取式”开发，强制披露AI生成内容
Haskell编译器Glasgow Haskell Compiler（GHC）的维护者近期正式确立了针对大语言模型（LLM）辅助代码贡献的具体政策，旨在平衡技术效率与维护者资源，并防止出现让项目付出更高审查成本而贡献者单方面获益的“提取式贡献”。鉴于GHC目前面临超过6,500个开放工单且维护者时间是主要瓶颈，该政策…
FurtherAI工程负责人揭秘AI原生团队转型：代码产出增五倍，瓶颈转向规划
FurtherAI工程负责人Will Larson分享了该公司过去九个月构建“AI原生”工程组织的实践经验 。通过引入AI代理优化从编码、测试到合并的软件交付流程，团队实现了效率的显著跃升 。数据显示，自今年1月以来，每位工程师每天合并的代码变更量增长了约5倍，而回滚率始终保持在0.5%以下 。目前，几乎100%的代…
Farol：为代码审查人员生成拉取请求风险地图的开源工具
Farol是一款免费开源的CLI工具和GitHub Action，采用MIT许可证发布，用于为拉取请求的批准人员生成风险地图。该工具通过静态分析识别代码变更的影响范围和风险等级，帮助审查人员优先关注高风险文件，而非逐行扫描所有改动。Farol可集成到现有CI流程中而不阻塞合并过程，无需账户或付费服务即可使用。
整数乘法算法条件常数优化达成0.003里程碑
开源项目贡献者1337isnot1337提交的代码优化合并请求（PR #4441）成功将整数乘法算法的条件常数κ提升至0.00300105。相比此前的PR #4440，该优化实现了0.00004105的增长，改进幅度达1.39%。
PostgreSQL 19开发期间大量功能被回退
PostgreSQL 19分支在测试阶段经历了异常多的功能撤销，共有8至10项重要功能被回退。这些被取消的功能包括REPACK CONCURRENTLY、逻辑复制序列和pg_plan_advice等。
Linux内核7.2版本创纪录：bug修复数量两年来增长超倍
Linux内核7.2版本的发布带来了显著的开发里程碑。该版本包含16,418个非合并提交，由2,652位开发者贡献，创造了历史第二高的提交记录，其中包括613位首次贡献者创下的新纪录。在这个开发周期中，开发者们添加了近600,000行代码，使其成为最繁忙的开发周期之一。
Claude编写Claude Code约90%的代码 团队通过自动化审查应对代码量激增
Anthropic公司Claude Code团队近日分享了其代码审查流程的演进经验。Claude AI编写了Claude Code自身约90%的代码，随着项目规模扩大，团队面临着前所未有的代码审查压力。每日变更数量从5月的约2500个增至9月超过30000个，促使团队将大部分审查工作从人工转向自动化检查。这一转变取得…
人工智能公司Anthropic自研源代码控制系统Scion
Anthropic因代码开发规模的快速扩张，自主设计并部署了源代码控制系统Scion，以取代Git。该公司的代码变更频率在半年内大幅增长，从2026年5月的日均2500次合并增至9月的超过30000次，主分支历史容量达约100GB，压缩后的工作副本也超过25GB。
AI编码工具生成代码增多，但软件产出未见增长
哈佛大学研究人员对超过700家软件开发企业进行了研究，分析了2021年至2026年3月期间超过700万名员工的3亿次工作事件数据，发现尽管AI编程助手能够生成大量功能代码，但人工代码审查流程成为了效率提升的瓶颈。研究由哈佛大学研究员Fiona Chen和James Stratton主导，数据来自工程团队输出测量平台J…
永恒初级：AI时代无法替代的四项核心技能
一名初级软件工程师在探讨AI代理时代的职业发展时，总结了资深工程师的关键能力特征。这些能力包括为已发布代码进行辩护、论证设计选择、识别AI错误方向、判断何时委派工作何时亲自动手，以及花时间指导他人。作者指出，好奇心、代码审查、自主性和协作这四项核心技能无法通过AI获得，必须通过主动学习和实践来培养。
代码审查远非缺陷检测 AI编码代理难以完全替代人工审查
一篇学术论文宣称基于大语言模型的编码代理可在更低成本和更高吞吐量下实现代码审查的所有目标。但有评论人士深入分析后指出，该论文对代码审查的理解过于狭隘，忽视了人工审查中的多个关键职能。
GPT-5.6 Luna vs. GPT-6 Astra：廉价模型能否胜任代码审查？
研究人员对两款AI模型在代码审查中的表现进行了对比测试。GPT-5.6 Luna的定价为输入令牌每百万0.20美元、输出令牌每百万1.20美元，而GPT-6 Astra的定价分别为10美元和50美元 。在50个来自Cal.com、Sentry、Discourse、Keycloak和Grafana的公开拉取请求测试中，…
Docket：为AI代理生成代码提供逐提交证据记录
Docket是一套为AI代理生成的代码创建证据记录的工具系统。它通过捕捉AI编写代码的完整实现过程（包括尝试的方案、验证步骤和失败记录），并将其与最终的代码差异进行对比，为每个代码块生成证据密度评分，帮助代码审查者快速定位缺乏充分证据支撑的部分。
构建AI软件工厂：智能代理自动开启、审查与合并代码请求
AI代理正在深刻改变软件开发的生产效率。Stephen Toub曾在35,000英尺高空用手机打开9个拉取请求，其中7个被自动合并。这一案例反映了行业趋势——多家头部科技公司已经建立了成熟的AI驱动代码生产流程。
GPT-6 Astra 在代码审查中性能领先，但成本显著更高
CodeRabbit 发布的评估报告显示，OpenAI 的 GPT-6 Astra 在代码审查能力上有显著提升。在简单代码审查场景中，Astra 相比 GPT-5.6 Sol 多捕获约 4% 的可行性 Bug，相比 Opus 5 则多捕获 22%。在更复杂的跨文件审查中，Astra 的优势进一步扩大，对比 Sol 领…
RealDiff 推出运行时行为差异检测工具，支持六种编程语言
RealDiff 是一款用于拉取请求的运行时行为差异检测工具，旨在发现普通源代码审查可能遗漏的运行时行为变更 。该工具支持 .NET、Java、Node.js、Go、Rust 和 Python 六种语言 。其核心机制是通过构建两个 Git 修订版并观察测试执行情况来进行检测，在此过程中学习三次基础运行的噪声基线，从而…
Maiao：为多平台引入 Gerrit 风格代码审查工作流的开源工具
开源项目 Maiao 为 GitHub、GitLab、Gitea、Forgejo、Bitbucket Cloud 及 Cursor Origin 等代码托管平台引入了 Gerrit 风格的 stacked pull requests 工作流 。通过执行 `git review` 命令，该工具能够自动将分支中的每个 c…
GitHub推出Stacked Pull Requests公开预览功能
GitHub已推出Stacked Pull Requests功能的公开预览版，现正向所有仓库逐步推出。这一功能将大型代码变更分解为多个小的、有序的可审查拉取请求，使团队能够并行审查和独立合并各层次的变更。Merge queue对Stacked PRs的支持将在未来几周内逐步推出。
编程界争论AI代码审查标准：逐行阅读还是依赖测试体系
围绕人工智能生成代码是否需要逐行阅读，编程界近日陷入激烈争论。HashiCorp联合创始人Mitchell Hashimoto发推文主张"I read the code"，获得近83万次浏览，强调开发者应当审查代码；而资深开发者Uncle Bob则提出对立观点，称"完全不去读Agent写出来的任何代码"，该言论获得超…
单日审计暴露十类检查失效模式
Claude作为网站工程师在2026年7月18-19日进行的单日审计中，系统地识别了代码检查通过但底层系统实际存在缺陷的十种测试失效模式。