一个程序员的心路历程
谷歌开源Harness²：不碰权重，让Agent学会了“自我进化”
LLM Agent 的能力取决于模型，也取决于包裹模型的执行Harness（harness）。谷歌 Cloud AI Research 提出 Harness²，一个即插即用的“递归式 Agent Harness优化”框架：任务级递归通过“提出—探测—合成”的对照步骤，在没有真值验证器的情况下改进当前任务的Harness；Harness级递归则把改进过程沉淀为经验库，指导后续任务。在 3 个专业基准、4 种“模型—Harness”配置上，单步改进即可稳定提升表现，最高分别达到 WorkBuddy-Bench +11.5、JobBench +4.5、LAB +11.8 个百分点，并随递归预算增加持续上升。
漏洞报告暴增十倍，Go 团队：我们睡不好了
GopherCon EU 2026 上，Go 团队的 Roland Shoemaker 与 Jonathan Amsterdam 参加了一场圆桌问答。本文结合会议文字稿与公开资料（Go 1.26／1.27 发布说明、curl 项目公告、Epoch AI 与 Google GTIG 数据等），梳理了五条主线：AI 引发的漏洞报告洪水与团队的应对策略、Go 团队自己使用 AI 的边界、Go 的路线图（后量子、SIMD、LLM 友好）、小团队的取舍哲学，以及语言设计上的“克制”。
给Rust代码办一张“数学身份证”：亚马逊揭秘Nitro背后的形式化验证武器Verus
Rust 的类型系统能防内存越界和数据竞争，却证明不了“代码算出来的业务逻辑是对的”。本文深度揭秘亚马逊在 AWS Nitro 隔离引擎等核心基础设施中引入的形式化验证利器——Verus。Verus 允许开发者直接在 Rust 源码中嵌入数学规约，依托自动求解器实现秒级证明反馈，甚至能为脱离编译器保护的 unsafe 代码与自定义并发锁建立不可动摇的数学级正确性保证。文章详细拆解了 Verus 的工作流程、“幽灵代码擦除”机制及开源生态的落地现状。
Rust 核心开发者发出“存在主义焦虑”：Agent 写代码的时代，语言设计者还有饭碗吗？
Rust 近期热度飙升，Meta 今年的 Rust 代码量已超过此前 9 年总和。Rust 核心开发者 Niko Matsakis 认为，原因在于 Rust 的“默认高性能”与“类型系统护栏”恰好契合 Agent 编程。本文结合他的文章，以及 Lean 社区的 lean-zip 实验和 AWS 工程师 Marc Brooker 的“反馈回路假说”，梳理 Rust 的优势、局限，以及“证明系统 + 设计语言”这条可能的演进路线。
Claude Code 团队是如何进行代码审查的
在已有 90% 代码由 Claude 自主编写的背景下，Claude Code 团队首次公开了如何解决海量代码审查瓶颈的实战工程体系。面对日均数万次合并的吞吐压力，团队摒弃传统逐行看代码的“人肉把关”，建立起涵盖提 PR 前自验、多 Agent 投票审查、阻断性安全校验、三档动态风险审批以及合并队列的分级防御网。同时，通过引入事故转评测集与轮数硬封顶等收敛机制，团队在 PR 合并量翻倍的同时将回滚率压降超 40%，将人类极其有限的注意力精准锚定在架构决策与业务意图上。