失戀以后，他發明了一門超越C的編程語言！(續)

前段時間我寫過一篇文章《》，介紹了 Zig 這門有點“不走尋常路”的新語言。

沒想到，這門語言本身很有個性，它的創始人安德魯在做事的風格上更是個性。

11 月 26 日，他發布了一篇博客：Zig 正式從 GitHub 遷移到 Codeberg。

為什么要走？原因主要有兩個。

1.GitHub被微軟收購以后，越做越爛

GitHub曾經流暢的界面變得反應遲緩，經常完全無法使用。

GitHub Actions的可靠性問題日益嚴重，3 月份的安全漏洞導致超過 23,000 個代碼庫的 CI/CD 密鑰泄露。

11 月中旬，Dependabot 的速率限制導致 57% 的任務失敗。

GitHub Actions還存在一個“vibe-scheduling”漏洞，該漏洞會隨機選擇要運行的 CI 作業，導致嚴重的構建隊列積壓。

對于一個高度依賴自動化構建的編程語言項目來說，這是不能忍的。

2.GitHub全面擁抱AI

安德魯給Zig定下的規矩很簡單也很明確：No LLM , No AI 。

因為開源不僅是寫代碼，還包括 review、討論、學習、貢獻，這些事兒應該由真正的人來完成。

但是安德魯發現，在Zig的pr中，有不少是AI生成的：

這讓安德魯很不爽。

更讓安德魯不爽的是，Zig所在的平臺GitHub正在大力推廣AI，它的CEO曾經說過：要么擁抱AI，要么滾蛋。

GitHub不但推廣Copilot，也鼓勵這種由AI生成的PR和issue。

在這種大趨勢下，兩種價值觀的沖突是不可調和的。

解決的辦法只有一個：走人。

安德魯給Zig選擇了一個非盈利的、社區驅動型的托管平臺：Codeberg。

這個平臺不集成人工智能或者Copilot，不追蹤用戶，采用隱私優先架構，由社區治理而非企業控制。

特別值得一提的是，它的用戶界面和YAML語法與GitHub幾乎完全相同，因此遷移過程非常簡單。

Zig做出這樣的事情，是非常需要魄力的，因為Zig的主要收入來源就是GitHub Sponsors。

離開GitHub，錢沒了，要是你，你干不不？

安德魯毅然決然地做了，他停止了GitHub Sponsors，然后在Every.org建立了新的捐贈賬號，呼吁大家從那里向Zig捐款。

我估計，Zig想恢復原來的捐贈水平，恐怕還要經歷一段時間。

從安德魯的宣言可以看出，安德魯是一個極度重視工程質量、堅持開源價值觀、反平臺壟斷、反 AI 混入基礎設施的編程語言作者。

他寧可換平臺，寧可承受遷移成本，也不愿被低質量的工具所拖累。

他強調人寫的代碼才是可靠的、可審查的、可負責的，對AI混入基礎設施非常警惕。

在 AI和平臺資本席卷的 2025 年，他的姿態顯得格外“逆潮流但有骨氣”。

我去搜了一下，安德魯并沒有獨行，還有不少項目也在從GitHub離開：

他們離開的理由和Zig差不多，對微軟將GitHub轉型為“人工智能平臺”表示不滿。

相對于龐大的GitHub項目和用戶來說，這些人的離開無關痛癢，但是如果這家曾經最懂程序員的平臺，開始忽略基礎設施和開發體驗，變成一個只在乎AI指標的產品，將來會有更多的項目用腳投票。

開發者需要的是一個靠譜的GitHub，而不是一個強行推銷AI的GitHub。