Web Analytics

Tony Bai

一个程序员的心路历程

AI 开始研究 AI:剑桥重磅报告警告,一场「智能爆炸」可能正在逼近!

AI 正在跨越一道关键门槛:从辅助人类研发 AI,走向自动化 AI 自身的研发。剑桥 CASP 于 2026 年 9 月发布的研究论文指出,如果 AI 能够承担越来越多的 AI 研发任务,并利用这些任务的成果不断提升自身能力,就可能形成一个递归自我强化的反馈循环——更强的 AI 带来更高的研发效率,更高的研发效率又催生更强的 AI。论文将这种可能性称为「智能爆炸」(Intelligence Explosion)。研究团队通过历史数据和经济学模型发现,在一定假设下,AI 研发自动化所带来的生产力增长可能突破传统研发领域的边际收益递减限制,使 AI 技术进步速度出现剧烈加速。但这场变革并非只有技术红利。研发速度失控、超级智能系统的监督与控制、国家和企业之间的权力失衡,都可能成为新的重大挑战。论文最终提出一个紧迫的问题:如果 AI 的进步速度有一天超过了人类社会的适应速度,我们是否已经做好准备?

October 6, 2026 · 20 min · Tony Bai

尘封十年的 Go 提案迎来转机?bradfitz 亲自操刀 Demo,让加锁也能 select 了

Go issue #16620 提出于 2016 年,核心诉求是希望能在 `select` 语句中等待一个 `sync.Cond` 被唤醒,从而把条件变量和 channel、`context.Context` 混在一起使用。这个提案十年未决的根本原因,在于条件变量是“边沿触发(edge-triggered)”、而 channel 是“电平触发(level-triggered)”,两者语义难以直接调和。近期,bradfitz 在该 issue 下提交了一份 Demo CL(`go-review.googlesource.com/c/go/+/828544`),为 `sync.Mutex` 引入了实验性的 `LockChan()` 方法,让“抢锁”这个动作也能作为 `select` 的一个 case,从而原生支持“抢锁与超时 / 取消竞争”的写法。本文将梳理这段十年历史、拆解这份 Demo 的设计与语义,并讨论它对 Go 并发编程可能带来的影响与局限。

October 5, 2026 · 9 min · Tony Bai

Rust 引用的 4 种可变性组合:let mut 与 &mut,到底谁管谁?

本文详解 Rust 引用的 4 种可变性组合:`let mut` 控制指针能否改指,`&mut` 控制数据能否修改。文章逐一剖析四种可变性组合,对比 C++ 的 `const` 指针与 Go 的指针语义,并补充内部可变性、`&mut` 重借用、函数参数 `mut` 三个进阶要点。

October 4, 2026 · 9 min · Tony Bai

Rust 大佬为 AI 破例:十年来第一次,他说“命名参数”可以有

《Rust 程序设计语言》官方作者 Steve Klabnik 十年来首次改变立场,因 AI Coding Agent 的普及而松口支持“命名参数”;随后引发 Rust 咨询公司 Corrode 创始人 Matthias Endler 的强势回应:无需修改语言规范,Rust 现有的 Struct、Option、Default 与 Builder 等类型系统能力早已给出高阶解法。本文深度拆解这场关于函数参数传递与信息隐藏的十年论战,剖析当打字成本被 AI 抹平后,编程语言究竟该向“调用语法糖”倾斜,还是向“编译期类型约束”深化的核心工程哲学。

October 4, 2026 · 16 min · Tony Bai

Pi 1.0 炸场!OpenClaw 背后的 Agent 引擎,进化成了“杀不死”的 Harness

Pi 1.0 于 2026 年 10 月 1 日正式发布,同步推出实验性新包 Pi Durable。1.0 带来 Codemode(原生 MCP 支持)、虚拟模型扩展、延迟工具加载等更新,Pi Durable 则是为长时间运行、可崩溃恢复、多人协作的 Agent 应用设计的新底座。本文拆解两者的设计思路与取舍。

October 3, 2026 · 14 min · Tony Bai