Clik here to view.
给Rust代码办一张“数学身份证”：亚马逊揭秘Nitro背后的形式化验证武器Verus
本文永久链接 – https://tonybai.com/2026/10/18/verus-rust-formal-verification-amazon-nitro 大家好，我是Tony Bai。 【导读】...
View ArticleClik here to view.
Rust 核心开发者发出“存在主义焦虑”：Agent 写代码的时代，语言设计者还有饭碗吗？
本文永久链接 – https://tonybai.com/2026/10/18/rust-in-the-agentic-era-guardrails-proofs-and-design-languages 大家好，我是Tony Bai。 【导读】 当 AI Agent 开始接管敲代码的工作，一辈子研究编程语言设计的人，会怎么想？Rust 核心团队成员 Niko Matsakis 在博客里坦白，LLM...
View ArticleClik here to view.
Claude Code 团队是如何进行代码审查的
本文永久链接 – https://tonybai.com/2026/10/17/solving-code-review-at-anthropic 大家好，我是Tony Bai。 在 AI Agent（智能体）接管日常编程的今天，软件工程正在经历一场范式转移：当 AI 能够以人类几十甚至上百倍的速度源源不断地生成代码时，传统靠工程师“逐行肉眼把关”的代码审查（Code...
View ArticleClik here to view.
当90%代码由AI写完，程序员社区、编程语言、开发工具将何去何从？
本文永久链接 – https://tonybai.com/2026/10/17/evolving-programming-languages-in-ai-era 大家好，我是Tony Bai。 【导读】 一条来自Elixir之父José Valim的X长文，前些日子在海外开发者圈刷屏。他抛出的问题很扎心：如果未来大部分代码都由AI...
View ArticleClik here to view.
Unsafe Rust：当 Rust 的安全边界开始变得模糊
本文永久链接 – https://tonybai.com/2026/10/16/unsafe-rust-safety-boundary 大家好，我是Tony Bai。 【导读】 Rust 经常被称为“内存安全语言”，但这个结论有一个重要前提：代码必须遵守 Rust 的安全规则。 一旦进入 unsafe 世界，Rust 就把一部分责任交还给程序员。而 Robert Seacord 在 RustConf...
View ArticleClik here to view.
Go 正在加速清理十年技术欠账？这批 Accepted Proposal 最近三个月动起来了
本文永久链接 – https://tonybai.com/2026/10/15/go-accepted-proposals-progress-2026-q3 大家好，我是Tony Bai。 三个月前，我翻开过 Go 官方仓库的一份特殊清单：171 个已经被接受、却仍然处于开放状态的提案。 这些提案并不是没有通过评审的“民间愿望”。它们已经获得 Go...
View ArticleClik here to view.
Anthropic 把 Git 扔了！7 人 5 个月自研 Scion，日合并代码从 2500 暴涨到 3 万次
本文永久链接 – https://tonybai.com/2026/10/14/anthropic-scion-replaces-git-agent-scale-source-control 大家好，我是Tony Bai。 【导读】 当 AI 写代码的速度远超人类，真正的瓶颈在哪？Anthropic 给出了一个出人意料的答案：不是模型，而是 Git。2026 年 5 月，Anthropic...
View ArticleClik here to view.
2029 年大限将至！Go 前密码学掌门人更新“密码学正确答案”：所有非对称算法都得换
本文永久链接 – https://tonybai.com/2026/10/14/post-quantum-cryptographic-right-answers-2026 大家好，我是Tony Bai。 【导读】 后量子迁移的时间表，在 2026 年初被彻底改写：业界共识是，必须在 2029 年前完成迁移。只剩三年了！Go 前密码学负责人 Filippo Valsorda...
View ArticleClik here to view.
代码看不懂了，Bug 还怎么修？AI 时代的调试心法
本文永久链接 – https://tonybai.com/2026/10/13/debug-when-you-no-longer-understand-the-code 大家好，我是Tony Bai。 【导读】 AI 五分钟给出的“根因分析”头头是道，可你读完只能说一句“好像有道理”。当工程师对 AI 生成的代码只有粗浅理解时，谁来给 Agent...
View ArticleClik here to view.
Go 很快、很美、好迭代，为什么 Vercel 还是改成了 Rust？CEO 说：计算公式变了
本文永久链接 – https://tonybai.com/2026/10/12/turborepo-go-to-rust-agent-era-calculus 大家好，我是Tony Bai。 【导读】 Vercel CEO Guillermo Rauch 最近抛出一条长推文，一句话引爆技术圈：Turborepo 从 Go 迁移到 Rust...
View ArticleClik here to view.
Go 性能 13 年大复盘：26 个版本全部实测，Go 1.27 比 1.23 快 11.5%
本文永久链接 – https://tonybai.com/2026/10/11/go-benchmark-every-release-since-2013 大家好，我是Tony Bai。 【导读】 Go 到底比 13 年前快了多少？每次升级，是真有收益，还是心理安慰？一位开发者用同一批程序、同一台机器，把 Go 1.2 到 Go 1.27 共 26...
View ArticleClik here to view.
Go 写的 CLI，为什么正越来越多地通过 npm 分发？
本文永久链接 – https://tonybai.com/2026/10/10/why-native-cli-ships-on-npm 大家好，我是Tony Bai。 【导读】 打开飞书 CLI、esbuild、Prisma、Turborepo 的安装文档，你会发现一个有趣的现象：它们的核心都不是 JavaScript，却都让你敲 npm 或...
View ArticleClik here to view.
微软刚用 Go 重写完 tsc，有人就用 AI 写出了 Rust 版：比 Go 版快 1.61 倍
本文永久链接 – https://tonybai.com/2026/10/09/ts-rust-ai-ported-typescript-compiler 大家好，我是Tony Bai。 【导读】 一个人，一个 AI 智能体，一份不读的代码。Theo 刚刚在 X 上扔下一枚“炸弹”：用 Rust 重写 TypeScript 编译器、类型检查器和...
View ArticleClik here to view.
谁说云原生过时了？Kubernetes 等主流项目正在为 Agent 重做“地基”
本文永久链接 – https://tonybai.com/2026/10/08/who-says-cloud-native-is-outdated-agent-foundation 大家好，我是Tony Bai。 【导读】 AI 的声量太大，让不少人以为云原生已经是“上个时代”的东西。但翻开 Kubernetes、CNCF、Cilium、OpenTelemetry 过去 21...
View ArticleClik here to view.
Python 正式向 Rust 招手：CPython 准备告别纯 C 时代，连 pip install 都可能因此变快？
本文永久链接 – https://tonybai.com/2026/10/07/python-cpython-rust-integration 大家好，我是Tony Bai。 【导读】 Python 社区正在酝酿一场可能改变其底层技术版图的变革。 在 2026 年 Python Language Summit 上，一个颇具分量的话题再次被摆上台面：CPython 是否应该引入 Rust？...
View ArticleClik here to view.
AI 开始研究 AI：剑桥重磅报告警告，一场「智能爆炸」可能正在逼近！
本文永久链接 – https://tonybai.com/2026/10/06/intelligence-explosion-ai-rd-automation 大家好，我是Tony Bai。 【导读】 如果有一天，AI 不再只是帮助人类写代码、做实验，而是开始独立研究 AI、设计下一代模型、优化训练算法，甚至自主决定下一步应该研究什么，会发生什么？ 这可能意味着一个全新的技术时代：AI...
View ArticleClik here to view.
尘封十年的 Go 提案迎来转机？bradfitz 亲自操刀 Demo，让加锁也能 select 了
本文永久链接 – https://tonybai.com/2026/10/05/go-mutex-lockchan-select-bradfitz-demo 大家好，我是Tony Bai。 【导读】 在 Go 语言的 issue 列表里，有一个编号为 #16620 的提案，安静地躺了整整十年。它讨论的问题很朴素：能不能像 select 一个 channel...
View ArticleClik here to view.
Rust 引用的 4 种可变性组合：let mut 与 &mut，到底谁管谁？
本文永久链接 – https://tonybai.com/2026/10/04/rust-reference-four-mutability-combinations 大家好，我是Tony Bai。 【导读】 写了半年 Rust，你能不查资料写出 let r = &x、let mut r = &x、let r = &mut x、let mut r = &mut x...
View ArticleClik here to view.
Rust 大佬为 AI 破例：十年来第一次，他说“命名参数”可以有
本文永久链接 – https://tonybai.com/2026/10/04/rust-named-arguments-ai-agents-debate 大家好，我是Tony Bai。 【导读】 《Rust 程序设计语言》（俗称“The Book”）作者 Steve Klabnik，十年来一直是 Rust...
View ArticleClik here to view.
Pi 1.0 炸场！OpenClaw 背后的 Agent 引擎，进化成了“杀不死”的 Harness
本文永久链接 – https://tonybai.com/2026/10/03/pi-1-0-durable-agent-harness-release 大家好，我是Tony Bai。 【导读】 OpenClaw 的声量似乎已不复当初，但它背后的 Agent 引擎 Pi 却在加速。10 月 1 日，Pi 正式发布 1.0，同时抛出一个实验性新包 Pi...
View Article
![[LoliHouse] 用【循环利息】强制收回借出的魔力 / Kashita Maryoku wa Revo Barai de Kyousei...](http://files.seeusercontent.com/2026/10/04/an2U/RevoChoushu_800.webp)
