Zig rời GitHub vì nỗi ám ảnh AI của Microsoft

 (theregister.com)
6 điểm bởi GN⁺ 2025-12-04 | 1 bình luận | Chia sẻ qua WhatsApp
  • Quỹ ngôn ngữ lập trình Zig đã quyết định chuyển sang Codeberg vì chất lượng của GitHub suy giảm và định hướng quản trị lấy AI làm trung tâm của Microsoft
  • Lỗi safe_sleep.sh trong GitHub Actions bị bỏ mặc suốt nhiều năm đã gây ra các sự cố làm tê liệt hệ thống CI
  • Phía Zig chỉ trích GitHub đang hy sinh chất lượng kỹ thuật để theo đuổi chiến lược tập trung vào AI
  • Jeremy Howard, đồng sáng lập Fast.AI, cũng chỉ ra việc GitHub quản lý lỗi kém và chất lượng mã nguồn đi xuống
  • Xu hướng các dự án mã nguồn mở rời GitHub đang lan rộng, cùng với làn sóng phản đối cách vận hành nền tảng quá tập trung vào thương mại hóa AI

Bối cảnh Zig Foundation rời GitHub

  • Zig Software Foundation, đơn vị quản lý ngôn ngữ lập trình Zig, đã quyết định rời GitHub để chuyển sang Codeberg, một dịch vụ lưu trữ git phi lợi nhuận
    • Lý do là họ cho rằng GitHub không còn cam kết với sự xuất sắc trong kỹ thuật nữa
  • Andrew Kelly nêu lỗi vòng lặp vô hạn trong safe_sleep.sh của GitHub Actions là ví dụ tiêu biểu
    • Script này có vấn đề chạy vô hạn và chiếm 100% CPU
    • Hệ quả là runner CI của Zig bị gián đoạn trong nhiều tuần

Các vấn đề kỹ thuật của GitHub Actions

  • Nguyên nhân của vấn đề bắt nguồn từ một thay đổi mã vào tháng 2/2022, khi lệnh POSIX sleep bị thay bằng script safe_sleep
    • Nếu script bỏ lỡ mốc thời gian theo giây nhất định, nó sẽ rơi vào vòng lặp vô hạn
  • Lỗi này mãi đến ngày 20/8/2025 mới được sửa, còn issue liên quan thì vẫn chưa được xử lý cho đến ngày 1/12
  • Một lỗi khác gây mức sử dụng CPU quá mức vẫn chưa được khắc phục

Phản ứng từ cộng đồng và giới chuyên môn

  • Jeremy Howard (đồng sáng lập Fast.AI) đánh giá tình trạng của GitHub Actions là “rõ ràng rất tệ”
    • Ông chỉ ra rằng đoạn mã chiếm 100% CPU đã bị bỏ mặc suốt một năm mà không được xem xét
    • Ông nói rằng “một tổ chức vận hành bình thường không thể lặp lại chuỗi sai lầm như vậy”
  • Kelly sau đó đã xin lỗi vì phát ngôn của mình có phần quá gay gắt, nhưng vẫn tiếp tục nhấn mạnh vấn đề suy giảm chất lượng của GitHub

Động thái rời đi của các dự án khác

  • Rodrigo Arias Mallo, nhà sáng lập dự án trình duyệt Dillo, cũng công bố kế hoạch rời GitHub
    • Ông chỉ ra các vấn đề như phụ thuộc JavaScript, khả năng bị từ chối dịch vụ, và cách vận hành tập trung vào LLM và AI tạo sinh
    • Ông nói rằng “AI tạo sinh đang phá hủy web mở”
  • Từ sau tháng 1/2025, Codeberg đã chứng kiến số thành viên tài trợ tăng gấp đôi từ 600 lên hơn 1.200

Cấu trúc doanh thu lấy AI làm trung tâm của GitHub

  • CEO Microsoft Satya Nadella cho biết trong báo cáo kết quả kinh doanh quý 2/2024 rằng
    • GitHub Copilot có hơn 1,3 triệu thuê bao trả phí, tăng 30% so với quý trước
  • Trong 2 tỷ USD doanh thu thường niên của GitHub năm 2024, khoảng 40% đến từ đăng ký Copilot
  • Đến quý 3/2025, GitHub báo cáo hơn 15 triệu người dùng Copilot, tăng gấp 4 lần so với cùng kỳ năm trước
  • Hiện tại GitHub không công bố số lượng người dùng trả phí, mà chỉ nhấn mạnh cấu trúc doanh thu xoay quanh Copilot

Ý nghĩa tổng quát

  • Các trường hợp của Zig và Dillo cho thấy cách vận hành nền tảng tập trung vào thương mại hóa AI đang làm suy yếu niềm tin của lập trình viên
  • Chiến lược dồn trọng tâm vào AI và sự thiếu hụt trong quản lý chất lượng của GitHub đang thúc đẩy cộng đồng mã nguồn mở rời đi
  • Các nền tảng thay thế phi lợi nhuận như Codeberg đang tăng trưởng nhanh hơn

Bài viết liên quan

1 bình luận

 
GN⁺ 2025-12-04
Ý kiến Hacker News

  • Lịch sử chỉnh sửa thông báo của nhóm Zig khá thú vị
    Ban đầu họ chỉ trích đội GitHub là "một framework JS đầy lỗi do những kẻ ở lại bất tài tạo ra", nhưng sau đó cách diễn đạt đã được làm dịu đi
    Ở phiên bản cuối, nội dung được chốt lại theo hướng GitHub đã đánh mất "sự xuất sắc trong kỹ thuật"
    Bản đầu (11/27 02:10) → Chỉnh sửa giữa kỳ (11/27 14:04) → Bản cuối (11/28 09:21)

    • Trong thread HN trước đó có nhiều phản hồi kiểu “hãy bỏ bớt cảm xúc chính trị đi”, có vẻ nhóm Zig đã tiếp thu điều đó
      Việc họ hạ cái tôi xuống để chỉnh sửa vì cộng đồng khá ấn tượng
    • Sự ám ảnh và tức giận của Kelly về "sự xuất sắc trong kỹ thuật" lại càng khiến tương lai của Zig trông sáng sủa hơn
      Tôi nghĩ việc một lãnh đạo kỹ thuật nổi giận với sự tầm thường là tín hiệu tốt
    • Nhưng kiểu chỉ trích như câu ban đầu rằng “phần mềm tệ hại là có chủ đích” thì hơi quá
      Thực tế đó chỉ là kết quả được tạo ra trong những ràng buộc về môi trường và năng lực
    • Cơn giận làm mờ khả năng phán đoán
      Tôi tin rằng phần mềm được làm ra bằng tình yêu, tức là sự trân trọng với công nghệ và con người, sẽ tạo ra kết quả tốt hơn
    • Tôi đồng cảm với cách nói “bloated, buggy JS framework”
      Các tập đoàn lớn đổ tiền vào để duy trì những framework như vậy, và hàng triệu người phải dùng chúng mà thậm chí không thể tắt đi
      Khi dùng GitHub, tôi hoàn toàn không chạy JS, mà chỉ tải file raw bằng quy tắc proxy 
      http-request set-path %[path,regsub(/blob/,/raw/,g)] if { hdr(host) github.com }
http-request set-path %[path,regsub(/releases/tag/,/releases/expanded_assets/,g)] if { hdr(host) github.com }
      Dùng như vậy vẫn hoạt động tốt

  • Điểm mạnh của GitHub là hệ sinh thái
    Hệ thống PR, quản lý issue, CI actions, tài trợ... mọi thứ đều tập trung ở một nơi
    Việc ám ảnh với AI là đáng lo, nhưng tôi vẫn nghĩ đây là công cụ thuận tiện nhất cho lập trình viên

    • Tôi không đồng ý. Sức mạnh thật sự của GitHub là hiệu ứng mạng xã hội
      Những chỉ số như sao, fork, số người theo dõi đóng vai trò như tín hiệu về chất lượng
      Cuối cùng các lập trình viên tin vào “ánh mắt của cộng đồng”
    • Tôi từng dùng Gerrit, và không thấy PR của GitHub có gì vượt trội đặc biệt
      Actions là kiểu địa ngục YAML, vừa phức tạp vừa hay gặp sự cố
      Dù vậy, lý do lớn nhất vẫn là “mọi người đều dùng ở đó”
    • Tôi không đồng ý với ý kiến cho rằng hệ thống CI của họ được làm tốt
      Actions thì tiện, nhưng là một sản phẩm tệ hại
    • Thà giải Advent of Code bằng brainfuck còn hơn
      Debug GitHub Actions đúng là cực hình
    • Điều khiến tôi khó chịu là GitHub không hề phủ nhận chuyện dùng kho riêng tư để huấn luyện AI
      GitLab thì đã phủ nhận rõ ràng, và sự khác biệt đó làm xói mòn lòng tin

  • Tôi tò mò về hạ tầng của Codeberg nên đã tìm thử
    Theo bài blog chính thức,
    họ vận hành bằng 3 máy chủ (1 máy Gigabyte, 2 máy Dell R730/R740) và nhấn mạnh việc tái sử dụng phần cứng cũ
    Thậm chí còn có nỗ lực tái sử dụng MacBook hỏng làm CI runner
    Thỉnh thoảng có suy giảm hiệu năng nhưng có thể giải quyết bằng cách khởi động lại
    Nó mang cảm giác DIY kiểu hackerspace

    • Nhìn vào trang trạng thái thì độ sẵn sàng khá thấp
      Trong 24 giờ gần nhất chỉ có 89% uptime, trung bình 14 ngày là 98%, nhưng trang chính thường xuyên chậm
    • Codeberg là nền tảng chỉ dành cho FLOSS, không phải cho doanh nghiệp
      Mục tiêu của họ không phải cung cấp dịch vụ thương mại
    • Hồi 20 tuổi tôi còn vận hành cụm lớn hơn thế
      Tiền điện thôi đã hơn 600 USD mỗi tháng, nên với mức này có vẻ tôi cũng mở được dịch vụ miễn phí
      Nếu ai có ý tưởng thì cứ email cho tôi

  • Nhìn vào cách Zig xử lý issue trên GitHub thì đây có vẻ là một quyết định hơi cảm tính
    Bug ở đâu cũng có, và xét đến quy mô của GitHub thì điều đó là bình thường
    Việc chuyển sang Codeberg có vẻ chưa được thảo luận kỹ
    Zig rất xuất sắc về mặt kỹ thuật, nhưng có lẽ cấu trúc lãnh đạo trưởng thành vẫn chưa thực sự hình thành

    • Vấn đề không phải là bug mà là sự thờ ơ của các tập đoàn lớn
      Những công ty như Microsoft sẽ chẳng bận tâm dù khách hàng có phàn nàn thế nào
      Vì vậy khi chuyển sang nền tảng nhỏ hơn, người ta kỳ vọng sẽ nhận được hỗ trợ có động lực hơn cho thành công của khách hàng
      Script CI nên được viết ở dạng script thuần nhất có thể để tăng tính di động
    • Việc “không biết Codeberg” là vấn đề cá nhân thôi
      Cũng không có bằng chứng nào cho thấy họ đã không thảo luận nội bộ

  • Tôi đồng cảm với các vấn đề của GitHub, nhưng Codeberg hay bị sập
    Theo trang trạng thái, uptime trong 2 tuần gần đây chỉ khoảng 95%

    • GitHub Actions cũng hay gặp sự cố, nên thật ra tôi không thấy khác biệt lớn lắm
    • Nếu mức độ dịch vụ quan trọng thì tự host Forgejo sẽ tốt hơn
      Như vậy sẽ không phải phụ thuộc vào một điểm lỗi duy nhất như GitHub
    • Trên Reddit cũng từng có phàn nàn rằng quy trình xác minh bot của Codeberg khá phiền
      Dù vậy, Forgejo có thể tự host vẫn rất hấp dẫn
    • Codeberg thường xuyên bị tấn công DDoS
      Nếu xem tài khoản Mastodon, họ chia sẻ tình hình rất minh bạch
      Việc bị tấn công cũng có thể là bằng chứng cho thấy họ là một sự hiện diện đủ đáng kể
    • Codeberg là nền tảng chỉ dành cho mã nguồn mở
      Không phù hợp để dùng cho dự án thương mại hay sao lưu cá nhân

  • Gần đây tôi có cảm giác từ AI đã trở thành một thuật ngữ marketing
    Có lẽ trong khoảng 2 năm nữa, hầu hết ứng dụng vẫn sẽ còn tính năng AI, nhưng những khẩu hiệu kiểu “AI-first” sẽ biến mất

    • 15 năm qua vẫn luôn như vậy
      Nhưng tôi đồng ý với dự đoán đó — giờ quảng cáo AI đã trở nên quê mùa
    • Chỉ là mốt từ khóa thay đổi từ “big data”, “machine learning” sang thứ khác thôi
      Quảng cáo cá nhân hóa vẫn còn nguyên, dù bản thân khái niệm này khá khó chịu

  • Việc cải tổ feed trên dashboard của GitHub là một thảm họa
    Trong thảo luận liên quan cũng có rất nhiều phàn nàn

    • Bản cập nhật gần đây chuyển trọng tâm sang danh sách PR và issue gần đây, và với tôi thì điều này lại có vẻ là một cải thiện
      Tôi thực sự đang dùng nó khá thường xuyên
    • Nói thật là tôi không dùng dashboard
      Phần lớn tôi làm việc trực tiếp từ các trang dự án
    • Tôi cũng dùng trang thông báo làm trang chủ mặc định
      Chỉ cần gõ “not” trong tự động hoàn thành của trình duyệt là vào ngay

  • Lý do Zig rời đi không chỉ đơn giản là vì mất lòng tin vào Microsoft
    Zig vốn là một cộng đồng có chính kiến mạnh
    GitLab cũng không làm họ hài lòng, và lựa chọn thay thế thì không nhiều
    Cốt lõi của vấn đề là cấu trúc độc quyền của các tập đoàn lớn, còn AI chỉ khiến vấn đề đó tệ hơn

    • Tôi tự hỏi giờ Bitbucket thế nào rồi
      Có vẻ giờ nó gần như không còn hiện diện nữa

  • Ưu điểm của Codeberg là tốc độ tải trang
    GitHub đôi khi cho cảm giác chậm và nặng nề

    • Đặc biệt trong môi trường 4G không ổn định, GitHub rất tệ
      So với các dịch vụ như Linear thì khác biệt khá rõ
    • Ngược lại, trong thử nghiệm của tôi thì Codeberg còn chậm hơn 
      $ time curl -L 'https://codeberg.org/'  → 3.06s  
$ time curl -L 'https://github.com/'    → 1.35s
      Có lẽ còn tùy môi trường

  • Tôi muốn giới thiệu Fossil SCM
    Đây là công cụ do tác giả SQLite tạo ra, với một file thực thi đơn 6MB nhưng tích hợp sẵn các tính năng tầm GitHub
    Có thể xem tại fossil-scm.org

    • Tuy nhiên nó không có hệ thống review code
      Vì người sáng lập hầu như không nhận đóng góp từ bên ngoài
      Nó rất tuyệt cho dự án một người, nhưng không phù hợp để cộng tác
    • Dù vậy, với dự án cá nhân thì nó rất tuyệt
      Tôi khuyên nên thử nó cho side project tiếp theo