一个程序员的心路历程
Go 标准库要给 http.Server 开一个“后门”了：Server.HandleRequest 提案通过，HTTP/3 时代的关键拼图
Go 提案 #77441 已被接受，为 net/http.Server 新增方法 HandleRequest。它让任何已经拿到 http.Request 的代码，都能按“该请求是由这个 Server 收到的”来处理，复用 OPTIONS 响应、`DefaultServeMux` 回退和 panic 恢复。该设计主要服务于 HTTP/3 等第三方协议实现，以及需要端到端验证 Server 行为的测试。本文梳理其背景、设计演进、争议点与使用示意。
谷歌开源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 的优势、局限，以及“证明系统 + 设计语言”这条可能的演进路线。