Tom 7のBadness 0（3つの方法）

 (tom7.org)
1 ポイント 投稿者 GN⁺ 2024-06-08 | 1件のコメント | WhatsAppで共有
  • Badness 0は、読書、映像視聴、ソースのコンパイルなど、複数の経路で触れられるTom 7の資料
  • 1つ目と2つ目の方法はKnuth's Versionを読むもので、文書中心に内容を確認する選択肢
  • 3つ目の方法は、4K 60Hzの点滅映像である**Badness 0 (Apostrophe‛s version)**の視聴へ案内される
  • エラーメッセージと格闘するのを楽しめる読者は、ソースコードをダウンロードして自分でコンパイルできる
  • ソースはGPLで提供され、コンパイルと使い方のメモは映像制作から回復した後に追加される予定

Badness 0に触れる方法

  • 1つ目と2つ目の方法は、Knuth's Versionを読むこと
  • 3つ目の方法は推奨ルートで、4K 60Hzの点滅照明映像であるBadness 0 (Apostrophe‛s version)を視聴する方式
    • このバージョンはMain Sequenceの最新作として紹介されている
  • 4つ目の方法は、ソースコードをダウンロードして自分でコンパイルする選択肢
    • エラーメッセージと格闘するのが好きな人に向いた方法
    • ソースコードはGPLで提供される
    • コンパイルと使い方に関するメモは後日追加予定

一緒に見るリソース

  • FixederSys: 映像と文書で使われている自作フォント
  • Suckerpinch: 関連映像が公開されるYouTubeチャンネル
  • ブログ または Mastodon @tom7 にコメントを残せる
  • tom7.org: Tom 7関連の項目をまとめたサイト

関連記事

1件のコメント

 
GN⁺ 2024-06-08
Hacker News のコメント

  • Tom7は一番好きなコンテンツ制作者。どのプロジェクトも、修士論文を超えた動画論文のように感じる。
    まだよく知らないなら、ほかの動画も時間を取って見るといい。どれもすばらしく、特定の1本だけを勧めるのは難しい。Tom7には無料の教育と楽しさを与えてくれることに感謝しているし、大きな刺激を受けている。

  • Tom7の動画は一つひとつが、謙虚な気持ちにさせられる天才性の産物のようで、知っているだけで自分より賢い人たちの秘密クラブに入ったような気分になる。

  • 論文は読んだが動画は見ていない。54歳のコンピュータサイエンス学部生として、Curry-Howardについてはよく知らなくても、この論文にはうれしくてくすくす笑わされた。
    Knuthの文章もまだ大半は理解できていないが、似たような楽しさがある。これから作る「真面目な」ソフトウェアには、雑に作ったイースターエッグ実績システムを入れてみたくなった。

    • ソフトウェアをもっと遊び心のあるものにする、すばらしい方法だと思う。たとえば grep を1回実行して初めて10GB超のデータをなめたら、ランダムに“Achievement unlocked!”メッセージが出る、といった具合で、可能性は本当に多い。

  • 極端に細部へこだわる動画で、画面の字幕は “Is this the most beautiful ____” なのに、ナレーションでは “This is the most beautiful ____” と言っているのを見つけたら、何かもらえるのだろうか？
    https://www.youtube.com/watch?v=Y65FRxE7uMc&t=9m07s
    動画冒頭の文 “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:” も、誤りなのか、ジョークの一部なのか、それとも自分が理解できていない形で解釈されるものなのか分からない。

    • 発表資料には、細部に敏感な人をわざといら立たせようとしているような誤りがかなりある。特にウェブサイトのURLにバックスラッシュを使っていたのが目についた。
    • 動画公開前に Epsom's Version のPDFを読んだが、組版が本当にめちゃくちゃだった。
      https://imgur.com/a/wjK5br5
      些細な誤りが気になるという導入部を見て、当然ジョークの一部で、論文の後半でオチとして回収される仕掛けだと思った。だが結局、PDFが意図した通りに表示されていないようだと判断した。最初はEvinceで読んでいたが、muPDFではずっとまともに出力された。
    • 論文で5回目に出てくる “Wikipedia” が小文字になっていて、Knuth版ではかなり気になった。

  • この人は本当にいい。一番好きな動画は、NESがSNESのゲームを動かす動画。 - https://www.youtube.com/watch?v=ar9WRwCiSr0&t=142s

  • この人をまったく知らなかったのでSNES to NESの動画を見てみたが、すごい。独創的で本当に笑えるし、人種差別や性差別のような最小公分母的なジョークではなく、知的に面白い人を見られるのがよかった。
    動画も本人もとても刺激的で、このウサギ穴を楽しめそうだ。

  • 最後の見事なオチだけでも見る価値がある。

  • このページのどこを見ても、この動画が何を扱っているのかまったく見当がつかない。

    • 軽い返答がたくさん付くだろうが、真面目に言うと、これはTom7の動画の驚くべき点の一つだ。最初はたわごとや些末な話に見えるのに、あらゆる妙な話をつなぎ合わせるうちに、絶妙で笑える観察へとまとまり、それをコードで実演する。
      彼のスタイルとユーモア、そして何かを証明するためにどれほどばかげた道筋まで進むのかを見るなら、“Harder Drive: Hard drives we didn't want or need”を強く勧める。3章構成で、真ん中の章はいまだに頭が爆発しそうになる。
    • Tom7はある程度知られたマッド・コンピュータサイエンティストで、技術的には野心的だが実用性は限られるプロジェクトを専門にしている。
      今回は、美しい印刷文書を作るためにTeX組版システムで使われるKnuthの行分割アルゴリズムに着想を得て、入力文を自動的に変更し、ページレイアウトの“badness”を最小化するように大規模言語モデルを訓練している。だから “Badness 0” なのだ。
      大まかにはそういう内容だが、同時にはるかに野心的で印象的で、ばかばかしい。“三つの方法”とは、原文のままTeXでKnuthのアルゴリズムにより組版した技術文書、独自レイアウトエンジンで組版し意味は保ちながら文言が少し変わる変種の文書、そして動画版のことだ。
    • 最後まで見れば、すべての寄り道が完全に正当化される。
    • 言語モデルを使って、テキストが特定の長さに合うように整列させる内容だ。

  • 彼が選んだガベージコレクタのアルゴリズムが面白かった。「私のコンピュータにはRAMが256GBある」

  • “Badness 0 Knuth's version” の論文は、**カーミング（keming）**のせいで最後まで読めなかった。意図的なのかは分からないが、気が散りすぎて読み続けるのが難しかった。皮肉だ。

    • バグがある。Chromeで読めばいい。