Badness 0 của Tom 7 (ba cách)
(tom7.org)- Badness 0 là tài liệu của Tom 7 có thể tiếp cận qua nhiều cách, như đọc, xem video hoặc biên dịch mã nguồn
- Cách thứ nhất và thứ hai là đọc Knuth's Version, một lựa chọn thiên về tài liệu để xem nội dung
- Cách thứ ba hướng dẫn xem Badness 0 (Apostrophe‛s version), một video nhấp nháy 4K 60Hz
- Độc giả thích vật lộn với thông báo lỗi có thể tải mã nguồn về và tự biên dịch
- Mã nguồn được cung cấp theo giấy phép GPL; ghi chú về biên dịch và cách sử dụng sẽ được bổ sung sau khi tác giả hồi phục từ quá trình làm video
Các cách tiếp cận Badness 0
- Cách thứ nhất và thứ hai là đọc Knuth's Version
- Cách thứ ba là lộ trình được khuyến nghị: xem Badness 0 (Apostrophe‛s version), một video ánh sáng nhấp nháy 4K 60Hz
- Phiên bản này được giới thiệu là tập mới nhất của Main Sequence
- Cách thứ tư là tải mã nguồn về và tự biên dịch
- Phù hợp với những người thích vật lộn với thông báo lỗi
- Mã nguồn được cung cấp theo giấy phép GPL
- Ghi chú liên quan đến biên dịch và cách sử dụng sẽ được bổ sung sau
Tài nguyên xem kèm
- FixederSys: font chữ tự làm được dùng trong video và tài liệu
- Suckerpinch: kênh YouTube đăng các video liên quan
- Có thể để lại bình luận trên blog hoặc Mastodon @tom7
- tom7.org: trang tập hợp các mục liên quan đến Tom 7
1 bình luận
Ý kiến trên Hacker News
Tom7 là nhà sáng tạo nội dung mình yêu thích nhất. Mỗi dự án đều có cảm giác như một video paper vượt xa một luận văn thạc sĩ
Nếu bạn chưa biết nhiều về anh ấy, cũng đáng dành thời gian xem các video khác; tất cả đều xuất sắc nên khó mà chỉ đề xuất một cái cụ thể. Cảm ơn Tom7 vì nền giáo dục và niềm vui miễn phí, mình được truyền cảm hứng rất lớn
Từng video của Tom7 đều giống như sản phẩm của thiên tài khiến người ta thấy khiêm nhường, và chỉ cần biết đến chúng thôi cũng có cảm giác như được bước vào một câu lạc bộ bí mật của những người thông minh hơn mình
Mình đã đọc bài paper nhưng chưa xem video; với tư cách một sinh viên đại học ngành khoa học máy tính 54 tuổi, dù không biết nhiều về Curry-Howard, bài này vẫn khiến mình khúc khích vì thích thú
Các bài viết của Knuth mình vẫn chưa hiểu được phần lớn, nhưng chúng cũng đem lại niềm vui tương tự. Nó làm mình muốn thêm một hệ thống achievement Easter egg làm qua loa vào những phần mềm “nghiêm túc” mình sẽ tạo ra sau này
grepmột lần và lần đầu quét qua hơn 10GB dữ liệu, nó ngẫu nhiên hiện thông báo “Achievement unlocked!”; khả năng là rất nhiềuTrong một video cực kỳ ám ảnh với chi tiết, nếu phát hiện phụ đề trên màn hình là “Is this the most beautiful ____” nhưng lời thuyết minh lại nói “This is the most beautiful ____” thì có nhận được gì không?
https://www.youtube.com/watch?v=Y65FRxE7uMc&t=9m07s
Câu ở đầu video “Way three (recommended) is to sit back and bathe in the 4k, 60Hz flashing lights that are Badness 0 (Apostrophe‛s version) is the newest installment in the Main Sequence:” cũng không rõ là lỗi, một phần của trò đùa, hay có cách hiểu nào đó mà mình không nắm được
https://imgur.com/a/wjK5br5
Thấy đoạn mở đầu nói rằng các lỗi nhỏ gây khó chịu, mình đương nhiên nghĩ đó là một phần của trò đùa và là chi tiết sẽ được thu hồi thành punchline ở phần sau bài paper. Nhưng cuối cùng mình cho rằng có vẻ PDF không được hiển thị theo đúng cách dự định; ban đầu mình đọc bằng Evince, nhưng muPDF cho kết quả hiển thị tốt hơn nhiều
Mình rất thích người này. Video yêu thích nhất của mình là video NES chạy game SNES - https://www.youtube.com/watch?v=ar9WRwCiSr0&t=142s
Mình hoàn toàn không biết người này nên đã xem video SNES to NES, và wow. Nó độc đáo, thật sự buồn cười, và thật tốt khi thấy một người hài hước theo kiểu trí tuệ, chứ không phải kiểu đùa giỡn mẫu số chung thấp nhất bằng phân biệt chủng tộc hay phân biệt giới tính
Video và con người này rất truyền cảm hứng, và mình nghĩ sẽ thích cái hố thỏ này
Chỉ riêng punchline xuất sắc ở cuối cũng đã đáng xem
Không có gì trên trang này cho mình chút manh mối nào về việc video này nói về cái gì
Mình đặc biệt khuyên xem “Harder Drive: Hard drives we didn't want or need” để thấy phong cách và khiếu hài hước của anh ấy, cũng như việc anh ấy có thể đi xa đến mức phi lý thế nào chỉ để chứng minh một điều. Video có cấu trúc 3 chương, và chương giữa đến giờ vẫn khiến mình nổ não
Lần này, lấy cảm hứng từ thuật toán sắp dòng của Knuth dùng trong hệ thống dàn trang TeX để tạo tài liệu in đẹp, anh ấy huấn luyện một mô hình ngôn ngữ lớn để tự động thay đổi câu đầu vào nhằm giảm tối thiểu “badness” của bố cục trang. Vì thế mới là “Badness 0”
Đại khái là vậy, nhưng đồng thời nó tham vọng, ấn tượng và ngớ ngẩn hơn nhiều. “Ba cách” theo nguyên văn là: một tài liệu kỹ thuật được dàn trang bằng thuật toán của Knuth trong TeX, một tài liệu biến thể được dàn trang bằng layout engine tự làm, trong đó ý nghĩa được giữ nguyên nhưng câu chữ hơi thay đổi, và phiên bản video
Thuật toán garbage collector mà anh ấy chọn khá hài: “máy tôi có 256GB RAM”
Mình không thể đọc hết bài paper “Badness 0 Knuth's version” vì keming. Không biết có phải cố ý không, nhưng nó quá gây xao nhãng nên khó đọc tiếp. Thật mỉa mai