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
1 bình luận
Ý 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
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
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ì
tsctruy 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
Bản thân runtime WASM trong kiểu TypeScript cũng đã rất ấn tượng
Đồ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 đó"
Thích chia sẻ của Dimitri về cách dự án này bắt đầu
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
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