Glean 拾遗
日刊 · 时间线

每天拾几条。

2026-11-13 · 周五 3 条
← 11-12
日历 ▾
2026 · 11
MoTuWeThFrSaSu ······123456789101112131415161718192021222324252627282930
有日刊 今天
11-14 →
06:00

Claude Code 团队如何用六层流水线取代逐行人工评审

How the Claude Code team reviews 30,000 changes a day

Anthropic 的 Claude Code 团队公开了内部 code review 流程:在每日合并变更从 5 月的约 2500 涨到 9 月的 3 万以上的压力下,他们把大部分「读代码」交给机器,把人的注意力留给方向判断和高风险路径。流程拆成六层——提交前用可执行的验证(测试、构建、截图对比)加 fresh-context subagent 审 diff;每个 PR 由 Claude 对照整个 repo 和 PR 声明的意图评审,findings 先经多个 agent 投票过滤,再按 Important/Nit/Pre-existing 分级以 inline comment 呈现;安全评审可阻断合并;CI 之外按风险分档决定需要 0/1/2 个人工 approval,分档由分类器读改动内容决定而非按作者;最后是 merge queue、flag、内部先灰度与一步回滚。他们也写了失败:一个 CLI PR 一夜跑了 50 多轮评审,git blame 显示约 59% 的告警命中是首轮就存在的旧代码,于是加了轮次上限、只审新 diff、按 bug 类聚合。适合正在把 agent 接进 code review 的团队。

06:00

1000 个 Agent 自建协作体系,28 小时证完费马大定理

1,000 agents, no researcher: a self-organized Lean proof of Fermat

Anthropic 用一个玩具实验检验多 Agent 团队能否脱离专用平台自行组织:1000 个运行 Claude Fable 5.2 早期版本的 agent,只拿到 60 条待证命题、一段古典路线的单句提示和 47 条已有引理,被分为 1 名 lead 与 999 名 helper,各自在无网络的沙箱里工作。团队用 28.7 小时完成形式化,输出 token 为九月份那次人工主导版本的三分之一,证明长度约为七分之一。没有 Prove2Me 的共享证明图,lead 在前 10 分钟自己在 Postgres 里建了五张表(announce / assign / notes / subtasks / landed),之后按难度重排人力,最后用一棵深达 10 层、2418 个节点的任务树啃下 Langlands–Tunnell。作者也承认局限:agent 会集体误判难度并过早放弃,人类在此时点仍有用。适合关注 Agent 编排、沙箱与运行时安全的工程师阅读。

claude.dev · 23 min · Agent Harness · Ai Safety · Formal Verification · Multi-Agent · Sandboxing
06:00

Shopify 用 30 人 12 周重写 App:agent 写代码,人改流程

Shopify's 12-week rewrite: agents wrote code, humans rebuilt the loop

Shopify 三十名工程师用 12 周把 App 从 React Native 迁到 Swift 与 Kotlin,覆盖 300+ 屏幕、widget、Apple Watch app 与 Siri Shortcuts,大部分实现代码由 agent 产出。文章重心不在代码量,而在代码之外:先花数周把业务逻辑做成不启动设备就能跑,Reflex 架构加 CLI 让任意屏幕毫秒级加载,iOS/Android 共用同一套架构,每个新屏幕都有示例与 .md 文件,CI 在两端分歧时直接失败。spec 驱动开发被放弃,因为 spec 几天就过期——旧 React Native 版本本身成了可对照的规格。后半部分讲瓶颈转移:单机跑不动多开模拟器,review 与合并排队,ticket 追不上 Slack 里已修好的问题,于是有了远程开发环境、agent 先做对抗式评审、每 15 分钟一次的自愈循环。适合正在搭 agentic 工作流或做移动架构的团队。

shopify.engineering · 19 min · Agent Workflows · Agentic Coding · CI/CD · Code Review · Mobile