1 điểm bởi GN⁺ 3 giờ trước | 1 bình luận | Chia sẻ qua WhatsApp
  • Gia đình Mitchell Hashimoto cam kết thêm 400.000 USD cho Zig Software Foundation (ZSF), nâng tổng mức hỗ trợ đã cam kết lên 700.000 USD kể từ khoản quyên góp đầu tiên vào năm 2024
  • Hashimoto cho rằng devlog 2026 của Zig cho thấy tiến bộ bền bỉ trong việc giải những bài toán khó để xây dựng một ngôn ngữ và trình biên dịch tốt
  • Chính sách cấm đóng góp bằng LLM của Zig lại được đem ra thảo luận trong bối cảnh Zig fork của Bun và bản viết lại bằng Rust, nhưng Hashimoto nhấn mạnh đây không phải là bài viết nhằm chỉ trích Bun
  • Dù quan điểm của ông về AI không hoàn toàn trùng với ZSF, ông cho biết vẫn tiếp tục hỗ trợ vì Zig là một phần mềm hiếm có coi trọng chất lượng và tính độc lập
  • Cam kết lần này có cấu trúc giống năm 2024, hỗ trợ 200.000 USD mỗi năm trong 2 năm

Cam kết quyên góp và quy mô hỗ trợ

  • Gia đình Mitchell Hashimoto cam kết thêm 400.000 USD cho Zig Software Foundation
  • Kể từ khoản quyên góp đầu tiên vào năm 2024, tổng mức hỗ trợ đã cam kết cho ZSF là 700.000 USD
  • Theo chú thích, khoản 400.000 USD lần này sẽ được chi trả theo cách giống khoản quyên góp năm 2024, tức là 200.000 USD mỗi năm trong 2 năm
  • Hashimoto kêu gọi những ai có điều kiện hãy cân nhắc quyên góp cho ZSF

Vì sao Hashimoto tiếp tục hỗ trợ Zig

  • Zig vẫn là một dự án đáng được tôn trọng cả về mặt kỹ thuật lẫn cộng đồng
    • devlog 2026 cho thấy tiến bộ bền bỉ trước những bài toán khó để xây dựng một ngôn ngữ và trình biên dịch tốt
    • Những hoạt động như Contributor Poker and Zig's AI Ban của Loris Cro cho thấy cách Zig tiếp cận việc bảo trì và cộng đồng
    • Ông cho rằng triết lý này góp phần thu hút và nuôi dưỡng những con người tài năng trong mã nguồn mở
  • Chính sách không chấp nhận đóng góp bằng LLM nghiêm ngặt của Zig lại trở thành chủ đề thảo luận công khai trong bối cảnh Zig fork của Bun và bản viết lại bằng Rust
    • Hashimoto nói rằng ông không thấy Bun làm gì sai và xem Bun là một dự án tuyệt vời
    • Ông cho rằng trong quá trình tranh luận, mọi người đã quá nhanh biến nhau thành phe phản diện và thiếu sự đồng cảm cùng tôn trọng với những góc nhìn khác
  • Hashimoto sử dụng AI rất nhiều, đồng thời cũng công khai quá trình đưa AI vào công việc và trải nghiệm phát hành tính năng thực tế với sự trợ giúp của AI
    • Đồng thời, ông cũng cho rằng cần nhìn nhận năng lực AI một cách lý trí và đã bày tỏ sự không hài lòng với những tác động tiêu cực của nó lên mã nguồn mở
    • Dù quan điểm của ông không hoàn toàn giống cách tiếp cận của ZSF, ông vẫn tôn trọng con người, chính sách và dự án của ZSF
  • Ông cho rằng một trong những điểm hay của Internet và mã nguồn mở là các dự án có thể kỳ lạ và khác biệt
    • Dự án có thể đặt ra những ranh giới rất riêng, tạo ra văn hóa riêng và theo đuổi chất lượng theo những cách không phải ai cũng hiểu
    • Zig được đánh giá là phần mềm đầy tham vọng, thực dụng, độc lập và cực kỳ nghiêm túc với chất lượng
  • Ghostty phần lớn tồn tại nhờ Zig, vì Zig đã giúp Hashimoto có thể tạo ra phần mềm mà ông muốn xây dựng
  • Đó là lý do Hashimoto hỗ trợ Zig: vì Zig là kiểu phần mềm như vậy

1 bình luận

 
Ý kiến trên Hacker News
  • Tôi rất thích câu nói rằng lý do Internet đẹp đẽ là vì ở đó, kỳ quặc cũng không sao cả
    Trên Twitter, Facebook, Reddit và nhiều Discord khác, khi đưa ra ý kiến khác biệt, rất dễ bị bủa vây bởi những bình luận tức giận khiến người ta càng thấy xấu hổ hơn về sự khác biệt của mình
    • Khả năng nhìn ra rằng nhiều điều có thể đồng thời đúng đang ngày càng trở nên quan trọng hơn
      Không phải chỉ có một “sự thật” duy nhất; trong mọi lĩnh vực của cuộc sống, rất nhiều điều có thể cùng lúc đúng
      Mỗi bộ não đều giống như một bộ lọc thông dải, nên điều chúng ta cần cố gắng làm là tưởng tượng góc nhìn của người khác đang nhìn thấy một lát cắt khác của cùng một thế giới
      Hãy tiếp nhận những lát cắt mình thấy phù hợp, bỏ qua những lát cắt mình không thích, nhưng đừng chiến đấu như thể chỉ lát cắt của mình mới là duy nhất
    • ý kiến khác biệt không đồng nghĩa với việc là một người kỳ quặc
    • Nếu nhìn theo tiêu chuẩn ngoài đời thực, có lẽ ngay cả người dùng Reddit trung bình cũng sẽ bị xem là hơi kỳ quặc, nên việc họ công kích sự kỳ quặc ở nơi khác nghe khá “buồn cười”
  • Thật tuyệt khi ở vị thế có thể làm được việc như thế này, nhưng tôi cũng thấy có lẽ đóng góp lớn hơn lại là Ghostty
    Khi nhìn thấy ai đó làm ra một công cụ tương đối hữu ích rồi được mua lại với giá 500 triệu USD, giờ tôi cũng không biết nên định giá thế nào nữa
    Với tư cách là người đã đổi qua rất nhiều terminal trong hàng chục năm, những cải tiến mà Ghostty mang lại thực sự mới mẻ, và cá nhân tôi thấy nó hữu ích hơn cả một số thương vụ mua lại nọ
    • Tôi vẫn đang ở lại với Konsolechuyển tab bằng Ctrl-Tab ở đó hoạt động theo kiểu round-robin chứ không phải kiểu stack
      Có vẻ như trong số các terminal hiện đại cho Linux, không có cái nào khác cung cấp hành vi này
      https://github.com/ghostty-org/ghostty/discussions/2393
    • Tôi muốn nghe lý do vì sao anh lại gắn bó với Ghostty
      Đâu có thiếu terminal emulator, và cái nào cũng quảng bá hiệu năng hay “tính năng có sẵn mặc định” của mình
    • Tôi chuyển từ iTerm sang dùng Ghostty, nhưng thành thật mà nói, ngoài việc thấy ai cũng dùng và khen thì tôi chẳng có lý do gì khác
      Có tính năng đặc biệt nào mà tôi đã bỏ lỡ không? Cùng lắm tôi chỉ thấy vài cải tiến rất nhỏ, nên không thật sự hiểu vì sao nó lại được nhắc đến nhiều như vậy
    • Tôi tò mò không biết câu “có lẽ đóng góp lớn hơn là Ghostty” là một lập luận ủng hộ hay phản đối việc tài trợ thêm 400.000 USD cho Zig
      Tôi thích Ghostty, nhưng việc đầu tư 800.000 USD vào phát triển một ngôn ngữ lập trình chủ yếu được biết đến vì đã tạo ra một terminal emulator, tự nó nghe chưa phải là một lập luận ủng hộ quá mạnh
      Tôi hỏi thật lòng thôi, không phải troll đâu
  • Nếu đang phân vân có nên dành thời gian học Zig hay không, tôi thật sự khuyên nên xem phỏng vấn nhà sáng lập Zig
    https://www.youtube.com/watch?v=iqddnwKF8HQ
    Nó thuyết phục tôi hơn bất kỳ tài liệu thiết kế hay bài blog nào
    • Rất thú vị, nhưng tôi cũng khá bất ngờ vì người này không chỉ giống Elon Musk ở ngoại hình mà cả cử chỉ và cách nói chuyện cũng rất giống
  • Việc Zig có lập trường từ chối đóng góp từ LLM nhưng vẫn để người dùng compiler hay các dự án Zig dùng bất kỳ công cụ hỗ trợ viết mã nào họ muốn nghe hoàn toàn hợp lý
    Xây dựng một ngôn ngữ không phải là công việc tuôn ra càng nhiều mã mới càng tốt, mà là cân nhắc kỹ lưỡng xem tính năng và cách triển khai nào thực sự phù hợp một cách nhất quán với toàn bộ ngôn ngữ
    Ngôn ngữ nằm ở thượng nguồn của quá nhiều thứ, và trong nhiều thập kỷ qua, ta đã thấy rằng nếu cứ thả thêm tính năng mới một cách dễ dãi thì ngôn ngữ sẽ trở nên phân mảnh và khó dùng
    Xu hướng của LLM là phản ứng với mọi đề xuất theo kiểu “vâng, tất nhiên rồi, và còn...” không phải là thứ cần thiết cho một dự án ngôn ngữ lành mạnh, nhưng lại có thể rất hữu ích với những người đang xây dựng sản phẩm bằng một ngôn ngữ cân bằng và thuận tiện về mặt công thái học
    Thật mừng khi thấy Mitchell vẫn giữ được sự điềm tĩnh trong lúc nhiều lập trình viên lại tiếp tục chia phe và trở nên giáo điều
    • Đó không phải lý do chính của lệnh cấm
      Nếu đọc bài viết được liên kết trong bài báo, sẽ có lời giải thích sâu hơn về việc cấm đóng góp AI
  • Gần đây tôi có chỉnh sửa codebase của Ghostty, và nó được quản lý rất tốt, làm việc trên đó khá thú vị. Xin gửi lời tán thưởng tới Mitchell
    Vì Ghostty được viết bằng Zig, nên tôi cũng đã thêm hỗ trợ Zig AST gốc vào Dirac
    https://github.com/dirac-run/dirac/blob/master/src/services/...
    Một điểm hơi kém trực quan là mô hình đặt cả mã và test trong cùng một tệp, khiến kích thước tệp lớn hơn rất nhiều
    Ngoài ra, với ai đến từ các ngôn ngữ hỗ trợ kế thừa, Zig buộc bạn phải suy nghĩ theo một cách khác
  • Mitchell Hashimoto thật sự là người tiêu tiền đúng như những gì mình nói
    Một con người tuyệt vời, và tôi rất kính trọng anh ấy
  • Zig thực sự rất tốt và dùng cũng rất thích
    Thật vui khi thấy nó nhận được nguồn tài trợ bổ sung
  • Tôi nghĩ nếu có thể chi số tiền như vậy cho những thứ mình ngưỡng mộ thì sẽ thấy rất mãn nguyện
    • Chỉ cần “ném” vào đó trong khả năng của mình thôi cũng có thể mang lại cảm giác mãn nguyện y như vậy
      Cứ thử một lần là biết
    • Những khoản quyên góp nhỏ cũng hữu ích và khiến mình thấy vui
      Gần như bất kỳ ai ở đây cũng có thể trích ra số tiền tương đương gói cước điện thoại hằng tháng ở nước mình để chia ra quyên góp cho những dự án mã nguồn mở mà mình trân trọng nhất
      Thành thật mà nói, nếu phụ thuộc vào phần mềm mã nguồn mở thì tôi gần như đi đến kết luận rằng đơn giản là nên làm như vậy
      Nhiều người trong chúng ta từng nghèo, nhưng trong một phần đáng kể của cuộc đời, rồi cũng sẽ có khả năng đóng góp, dù chỉ là một khoản nhỏ
    • Đó là hình thức quyền lực đẹp nhất
    • Tôi thật sự khó hiểu những câu kiểu “nếu trở nên giàu có hay thành tỷ phú thì về bản chất sẽ trở nên bất hạnh”
      Nếu có đủ tiền, sẽ có quá nhiều dự án mà tôi muốn hỗ trợ với thiện chí
    • Tôi tò mò bình luận gốc là gì
      Chắc hẳn nó nghe có vẻ chỉ trích hơn nhiều
  • Cá nhân tôi thấy đây là một việc rất tuyệt
    Tôi thích ngôn ngữ Zig và những ý tưởng đằng sau nó, nhưng vấn đề cú pháp của nó khá lớn
    Hy vọng họ tìm ra được cú pháp tốt hơn trước bản 1.0, và tôi nghĩ công thái học cho lập trình viên cũng quan trọng không kém
    • Zig có nhiều vấn đề, nhưng cú pháp chắc chắn không phải là một trong số đó
      Nếu đến từ ngôn ngữ khác thì có thể mất chút thời gian để quen, nhưng đây là một trong những ngôn ngữ dễ đọc nhất mà tôi từng dùng
    • https://matklad.github.io/2025/08/09/zigs-lovely-syntax.html
    • Bạn có thể nói rõ hơn phần nào khiến bạn thấy có vấn đề không?