小马队

印第安纳波利斯小马队

安德鲁·凯利 (Andrew Kelly) 专访:他为何构建 Zig、禁止 AI 贡献并将 Zig 从 GitHub 移出

安德鲁·凯利 (Andrew Kelly) 专访:他为何构建 Zig、禁止 AI 贡献并将 Zig 从 GitHub 移出


在接受 JetBrains 采访时,Jig 创建者 Andrew Kelly 详细阐述了该项目官方对 AI 贡献的禁令以及其从 GitHub 迁移到 Codeberg 背后的动机。凯利断言,自动化代码提交最终会降低代码库的质量,但会破坏开源参与者之间的社会结构。 GitHub 持续失败和激励措施不一致导致代码库迁移到 Codeberg。

Kelly 在 Zig Project 的决定中列举了两个因素: 断然拒绝 AI 贡献:固定的人力资源无法随着代码量的增长而扩展,以及对所生产的软件质量产生负面影响:

第一个原因是这类文章总是垃圾。 […] 不仅它们具有负值 […] 当我们收到这些一巴掌的贡献时,他们占用了我们的审核时间,经过几次审核后,我们意识到他们不知道自己在做什么。他们将聊天内容粘贴回聊天内容并重新清洗聊天内容以假装他们不使用聊天内容,但我们仍然可以看出。在某些时候,我们意识到它的质量不会很好,因为他们不知道自己在做什么。现在我们已经浪费了每个人的时间。

同样重要的是,凯利强调了吉吉舞的主要教育目标。凯利将代码审查视为一种指导投资,保留给以后可以成为核心贡献者的实际工程师:

贡献者扑克理念 [Editor’s note: betting limited review time on contributors likely to grow and stay vs. drive-by contributors] 这意味着我们的时间有限。所以我们要注意:好的,我们可以把时间投入到谁身上来帮助他们成为更好的程序员、更好的项目贡献者?谁是路过的贡献者?所以使用人工智能的人总是属于第二类。他们不值得投资。他们学不到任何东西。他们稍后不会加入核心团队。

Zig 的原则性方法与 Bunn 的方法形成鲜明对比,Bunn 最近通过在多个 AI 代理的支持下移植代码、验证和提出解决方案,将整个代码库从 Zig 重写为 Rust。在题为“我对 Bun Rust 重写的想法”的批评回应中,凯利确认:

这里的主要问题与 Jig 与 Rust 的语言特征以及两个项目不同的价值体系无关。

Kelly 解释说,由于 GitHub 操作持续出现 CI 故障,该项目将其 GitHub 存储库移至德国非营利组织 Codeberg。凯利还强调,激励措施应与非营利组织更好地结合起来,这有利于可持续发展,而不是极速增长和货币化:

“GitHub 不再为我们服务。我们的持续集成不再有结果。它停止工作。所以我们搬到了 Codeberg,现在我们的持续集成服务器再次工作了……Codeberg 也是一家德国非营利组织,我个人认为非营利组织是比初创公司或公司更可持续的企业。非营利组织正在努力继续做他们正在做的事情,我希望这种稳定性。

一些开发人员注意到,随着 AI 工作负载呈指数级增长,GitHub 的性能有所下降。

Kelly 在一次采访中回忆说,Zig 正在尝试构建一个本地数字音频工作站。 JavaScript 缺乏底层硬件控制; Go 引入的“stop-the-world”垃圾收集暂停损害了实时音频播放要求;当时 Rust(1.0 版本之前)造成的手推车碰撞,导致 UI 字体渲染脱轨数周; C++ 会产生持久的内存损坏错误,从而消耗大量的调试时间。

Zig 语言拒绝自动内存管理,而是支持显式内存分配器。 Andrew Kelly 于 2018 年辞去工作,创办了 Jig。 Zig Ghosty 是一个低延迟金融数据库,为 TigerBeetle 和 Uber 的交叉编译基础设施提供支持。

我们鼓励开发人员查看整个 JetBrains 采访,了解有关所提出观点的更多详细信息,以及本文未涵盖的更多主题。





Source link

Leave a Reply

Your email address will not be published. Required fields are marked *