再论bun的zig-›rust

发布时间:2026/7/16 13:44:08
再论bun的zig-›rust 大概两个月前讨论过这个事情最近x冲浪又看到了一些后续想到写一篇文章吧关于 Zig 作者 Andrew Kelly 炮轰 Anthropic角色定位事实Bun高速 JavaScript / TypeScript 运行时原项目使用 Zig 编写是 Zig 生态中最大的代码库之一被 Anthropic 收购后重写为 RustZig现代系统编程语言定位类似 C 但更安全创造者 Andrew Kelly 以直率和不妥协著称社区规则对 AI 生成代码零容忍Anthropic顶尖 AI 实验室旗下有 Claude 等大模型已融资 1320 亿美元IPO 估值预计超 1 万亿美元内部主要使用 RustRust以内存安全闻名的系统语言Bun 收购后被迁移到 Rustunsafe Rust矛盾Bun 宣称代码近 100% 由 AI 贡献而 Zig 社区对 AI 生成代码零容忍。当 Bun 一夜之间从 Zig 转向 Rust这不仅是技术路线变更更是一场精心策划的叙事之战。Anthropic 的底层叙事软件工程的终结Anthropic 正在推销的剧本编程会消失 → 软件工程会消失 → 大部分人类劳动都会被 AI 替代为什么要讲这个故事已融资 1320 亿美元估值冲向万亿却无法展示盈利巨额资本需要故事来支撑AI 取代一切就是那个故事利用资本规模来定义什么是真相Ray Myers 评价道Anthropic 是一个不可靠的叙事者读者需要戴上怀疑的帽子才能看清真相。迁移事件时间线收购Anthropic 收购 Bun实验Bun 创始人用智能体工作流将整个代码库从 Zig 重写为 Rustunsafe Rust合并几天之内重写版本被合并入主线成为官方版本公关整整两个月后才发布官方博客解释决策反常之处在基础设施项目中提前解释技术方向才是常态。延迟两个月的原因是让科技媒体有足够时间将故事包装成AI 驱动的急速重写。Andrew Kelly 的回应Andrew Kelly 发表了异常直白的回应直接批评 Bun 团队的工程决策问题而不是把锅甩给 Zig 语言本身。社区反应有开发者调侃“我们有一个相当大的开源 Zig 代码库我现在好怕他会来看我们的代码”Ray Myers 说自己读到这个回应时差点跳起来欢呼原因“我们打破了真实但不够友善的社交礼仪但这也许是唯一能让真相浮出水面的方式”三种版本的故事版本核心观点Anthropic 版本Bun 已尝试所有合理方法仍被内存 bug 淹没Zig 无力回天Rust 是唯一救赎Andrew Kelly 版本Bun 代码库混乱是因为糟糕的工程决策过度依赖 AI 代理编写和审查代码是人的问题不是语言的问题Ray Myers 版本最可能Bun 确实面临内存 bug 挑战但有多种解决方案管理层批准 Rust 重写是因为这是绝佳的营销机会展示最新模型 内部本来就喜欢 Rust Zig 社群公开反对使用 Anthropic 产品迁移说明文档的三大缺陷一个负责任的技术决策文档通常需要包含三要素动机、备选方案、利弊权衡。要素Bun 文档的表现动机✅ 清楚——内存 bug 太多每周约 4 个修复提交备选方案❌ 仅提到 TigerBeetle 社区的 TigerStyle 风格指南以难以执行为由敷衍跳过利弊权衡❌ 整篇只有在 Rust 中变得更好的正面列表未提任何代价如构建时间必然变长致命矛盾一边说风格指南难以执行一边又声称通过智能体审查成功执行了 porting 这份风格指南。Bun 之前为了缩短构建时间不惜 fork Zig 编译器——说明他们清楚构建时间是核心痛点却在迁移文档中完全回避了这个代价。结论先有了结论再回头补理由显得很不诚实。AI 同样不行的 6 个证据从同一个事件可以推导出与AI 足够强大完全相反的结论需要把大模型包装成 agent 框架恰恰说明单个模型本身能力不足选择 Rust 的借用检查器就是因为 AI 无法可靠地捕获内存错误避免使用难看的指针包装器说明代码仍需人类维护和阅读——如果 AI 真能接管一切可读性还重要吗Ray Myers 自己用混合方法在 Zig 版 Bun 中找到了50 个 bugAI 没能发现开源项目维护者正被低质量的 AI 贡献淹没重写过程中强调保持代码结构熟悉——这说明维护者是人类而非 AI反证Zig 本身没有问题——TigerBeetle 案例TigerBeetle是一个用 Zig 写的金融交易数据库对可靠性要求极高。它没有像 Bun 那样被内存 bug 困扰反而成为当今最可靠的数据库之一。TigerStyle 核心原则所有内存必须在启动时静态分配初始化后绝不动态分配或释放内存。这种设计消除了 use-after-free 隐患让整个系统更简单、更易推理。内存 bug 对比项目内存 bug 情况TigerBeetle几乎满分几乎无内存 bugBunZig 版每周约需修复 4 个 bug关键洞察区别不在于语言而在于工程纪律。Bun 团队声称试过一切方法却对 TigerStyle 这样的成熟实践只嘴上提一句便跳过。管理问题90 小时工作周Bun 资深员工 2022 年招聘帖原话“前 9 个月将是苦战若看重不工作的时间可能不适合。”Ray Myers 评价“无异于经理人自报不懂管理长时间高压损害知识工作者的健康与效率早有实证。”Andrew Kelly 总结小道消息“沟通糟糕期望不切实际缺乏同理心纯属一团糟。”Ray Myers 的建议别为吹嘘 90 小时工作周的人打工去为守护你睡眠的人工作。结论叙事与现实的鸿沟Anthropic 是不可靠的叙事者万亿市值的故事需要技术决策来维持。必须保持批判性思维。语言不是原罪TigerBeetle 已证明只要有正确的工程纪律和风格指南Zig 完全可以构建高可靠系统。AI 还远远不够无论是需要用 agent 包装借用检查器兜底还是 Ray Myers 亲手找到的 50 个 bug都在反复告诉我们——不能用 more tokens 来替代学习真正的技能。建设性的出路可以一边使用编码 agent 提升效率一边拒绝把黑暗软件工厂当成理想。语言的选择正在变得可逆但良好的判断力和沟通能力永远不可替代。