本文永久链接 – https://tonybai.com/2025/12/28/state-of-ai-vs-human-code-generation-report 大家好，我是Tony Bai。 “天下武功，唯快不破。但在软件工程里，‘快’可能是致命的诱惑。” 2025 年，AI 编码助手/智能体已经成为开发者的标配。它像蜜糖一样，让我们尝到了开发效率飙升的甜头：从自然语言一键生成函数，到自动补全繁琐的样板代码，甚至的整个项目的源码，功能交付周期从未如此之短。 ...
本文永久链接 – https://tonybai.com/2025/10/30/type-theory-intro-for-gopher 大家好，我是Tony Bai。 你是否曾有过这样的经历：在浏览一个关于 Go 泛型或接口设计的 GitHub issue 或技术提案时，评论区里的大佬们突然开始讨论 “Sum Type”、“Product Type”、“Parametric Polymorphism” 或是 “Higher-Kinded Types”。一瞬间，你感觉自己仿佛闯入了一个学术研讨会，这些看似熟悉又陌生的词汇让你一头雾水，只想默默关掉页面。 ...
本文永久链接 – https://tonybai.com/2025/09/25/go-security-past-present-and-future 大家好，我是Tony Bai。 在软件安全领域，最成功的战役，往往是那些从未被公众所知的“隐形战争”。当一门编程语言的安全性被认为是理所当然时，这背后必然有一支团队在持续不断地进行着防御、修复与规划。对于 Go 语言而言，这支团队就是 Google 内部的 Go 安全/密码学团队。 ...