1 điểm bởi GN⁺ 2025-02-27 | 1 bình luận | Chia sẻ qua WhatsApp

1 bình luận

 
GN⁺ 2025-02-27
Ý kiến Hacker News
  • Tò mò liệu có thể triển khai DOOM bằng biểu thức chính quy với 177TB hay không

    • Việc chạy DOOM bằng kiểu của TypeScript suốt 18 giờ mỗi ngày trong 1 năm là một sự tận tâm đáng kinh ngạc
    • Lúc đầu điều này có thể trông vô nghĩa, nhưng chứng minh DOOM cũng có giá trị như những chứng minh toán học khác
    • Nó có lợi thế là cả người bình thường cũng có thể kiểm chứng
    • Xin chúc mừng thành tựu đáng kinh ngạc này
  • Xét đến tin đồn rằng hệ thống kiểu của TypeScript là Turing-complete, điều này vừa đáng ngạc nhiên vừa không quá ngạc nhiên

    • Dù sao thì vẫn phải vỗ tay cho sự bền bỉ để thực sự chạy được nó
  • Vẫn chưa thật sự hiểu việc chạy DOOM trong một hệ thống kiểu nghĩa là gì

    • Có thể hiểu cách thực hiện tính toán và tạo ASCII art
    • Nhưng khó hiểu được cách tsc truy cập hệ thống âm thanh hoặc tải tệp
  • Đã thấy Dimitri cập nhật tiến độ dự án này ở nội bộ, và nó thực sự đáng kinh ngạc

    • Đây là một trong những điều ấn tượng nhất từng được làm ra bằng code
    • Một thành tựu ở tầm huyền thoại và đòi hỏi sự kiên trì phi thường
  • Bản thân runtime WASM trong kiểu TypeScript cũng đã rất ấn tượng

    • Cần rất nhiều công sức, nhưng vẫn có thể mường tượng được cách nó hoạt động
    • Cách xử lý nhập liệu từ bàn phím thì khó hiểu hơn
    • Trong video chỉ nhắc rằng "có cách để xử lý nhập liệu từ bàn phím"
    • Hẳn là có thứ gì đó ngoài hệ thống kiểu chuyển đổi nhập liệu bàn phím thành kiểu TypeScript
  • Đồng cảm với câu "Tôi không phải lập trình viên 10x, mà là người làm tốt thứ gì đó đủ gần với mức đó"

    • Đó là hành trình 18 giờ mỗi ngày trong suốt 1 năm
    • Mọi người tìm kiếm những lập trình viên 10x kiểu Good Will Hunting của giới code, nhưng cũng có rất nhiều người không bỏ cuộc đến cùng dù không hiểu ngay lập tức
    • Những lập trình viên như vậy có lẽ còn nhiều hơn cả kỳ lân
  • Thích chia sẻ của Dimitri về cách dự án này bắt đầu

    • Engine này được tạo ra cho một dự án nhằm cho thấy vì sao DOOM không thể chạy trong kiểu TypeScript
    • Điều thú vị là hóa ra nó thật sự có thể chạy được
  • Nếu hôm nay trên HN có câu chuyện nào xứng đáng được chú ý nhất thì chắc là câu chuyện này

    • Đây là một câu chuyện điên rồ, đáng kinh ngạc và truyền cảm hứng
  • Cách dễ nhất để kiểm tra một hệ thống có Turing-complete hay không là xem DOOM đã được port sang đó chưa

    • Rất ấn tượng