Rust 近期热度飙升，Meta 今年的 Rust 代码量已超过此前 9 年总和。Rust 核心开发者 Niko Matsakis 认为，原因在于 Rust 的“默认高性能”与“类型系统护栏”恰好契合 Agent 编程。本文结合他的文章，以及 Lean 社区的 lean-zip 实验和 AWS 工程师 Marc Brooker 的“反馈回路假说”，梳理 Rust 的优势、局限，以及“证明系统 + 设计语言”这条可能的演进路线。

在已有 90% 代码由 Claude 自主编写的背景下，Claude Code 团队首次公开了如何解决海量代码审查瓶颈的实战工程体系。面对日均数万次合并的吞吐压力，团队摒弃传统逐行看代码的“人肉把关”，建立起涵盖提 PR 前自验、多 Agent 投票审查、阻断性安全校验、三档动态风险审批以及合并队列的分级防御网。同时，通过引入事故转评测集与轮数硬封顶等收敛机制，团队在 PR 合并量翻倍的同时将回滚率压降超 40%，将人类极其有限的注意力精准锚定在架构决策与业务意图上。

Elixir之父José Valim近日在X发长文《Evolving programming languages in the AI era》，引发大量转发讨论。他认为当AI Agent写掉大部分代码后，编程语言的“人体工学”优化会失去意义，但编译器不会消失；真正该被重新设计的，是IDE、LSP、调试器这些“为人类交互而生”的工具——他提出用可查询的“程序数据库”取代LSP、用运行时可观测性取代传统调试器。本文完整梳理其核心观点及评论区激辩。

在 RustConf 2026 上，C 标准委员会主席 Robert Seacord 带来了一场精彩的演讲：当 Rust 进军汽车、航天与内核等安全关键系统，Unsafe Rust 的未决（unsettled）语言语义正成为新的工程隐患。文章指出，Rust 不可能消灭 unsafe，而测试通过并不能证明没有未定义行为（UB）；从复杂的指针来源（Pointer Provenance）到别名模型，Rust 当前的核心任务不仅是减少 unsafe，更是依托 Miri、MiniRust、Tree Borrows 等基础设施，为 Unsafe 世界绘制出一张精确、可验证的语言规范地图。

三个月前，Go 官方仓库中多达 171 个“已批准却未实现（Accepted）”的十年技术欠账清单引发广泛关注。如今一个季度过去，这批历史遗留提案到底动起来了吗？本文基于最近 90 天的真实动态进行复盘，建立起从 L1 讨论到 L4 交付的四级进展评估标尺，深度剖析了等待十年的复合字面量类型推断进入 Go 1.28、弃用 h2c 包顺利闭环等典型案例，揭示开源治理中“被接受只代表方向，工程落地才是硬仗”的深层规律。