「私はFabrice Bellardを尊敬している」 - ジョン・カーマック

 (twitter.com/ID_AA_Carmack)
13 ポイント 投稿者 GN⁺ 19 시간 전 | 1件のコメント | WhatsAppで共有
  • Doom/Quake を作った John Carmack は、Fabrice Bellard を尊敬していると語った

    「彼はほぼ間違いなく、全体的なプログラミング能力では私よりはるかに優れているだろう」

  • 誰かが Fabrice Bellard の Wiki ページを共有し、それに添えた文章を引用して残したもの

パリで静かに暮らすあるフランス人エンジニアが、30年間ほとんど無名のまま、いまやインターネット全体が依存するソフトウェアを書いてきた

  • 世界中の動画ストリーミングとクラウド仮想化を支える中核コードの多くは、シリコンバレーの外にいるパリのあるエンジニアが単独で作ったオープンソースに基づいている
  • 映像・音声フォーマットを処理する FFmpeg は、YouTube、Netflix、VLC などで動くインターネットの見えないエンジンの役割を果たしている
  • マシンエミュレータ QEMU は現代的な仮想化の土台であり、その上で Linux ハイパーバイザ KVM が動作し、主要クラウドの VM インフラが構築されている
  • このほかにも TCC、JSLinux、QuickJS、NNCP など多数のプロジェクトを単独開発し、当時の基準で史上最多桁の円周率を、自ら導出した公式で計算した
  • マーケティングや SNS なしに通信企業 Amarisoft の CTO を務めながら、いまも個人プロジェクトを継続して公開している

人物概要

  • 名前は Fabrice Bellard、1972年フランス・Grenoble 生まれ
  • フランス屈指の工科大学 École Polytechnique で学ぶ
    • シリコンバレーに移住したことも、スタートアップ帝国を築いたこともなく、コードを書くことに集中してきた
  • Twitter や Instagram はなく、インタビューもほとんど受けない
    • 個人サイトは、装飾・フォント・マーケティング文句のない プロジェクト名とリンクの簡素な一覧 という形

FFmpeg — インターネットの見えないエンジン

  • 2000年、28歳のときに始めた エンコード・デコード・ストリーミング向けオープンソースのマルチメディアフレームワーク
    • 存在するあらゆる映像・音声フォーマットを、1つのライブラリで、すべての OS 上で扱えるようにすることを単独で実装した
    • 数年間にわたり自らプロジェクトを率いた
  • 現在は YouTube、Netflix、VLC が利用しており、Chrome・Firefox も一部を使っている
    • すべての Android スマートフォン、iPhone、スマート TV、動画編集ツールの内部で FFmpeg が動いている
    • この20年間に画面で動画を見たことがあるなら、その映像はこのコードで処理されていたことになる

QEMU — 現代的な仮想化の土台

  • 2003年に始めた マシンエミュレータ兼仮想化ツール で、2005年のバージョン 0.7.1 まで単独で書かれた
    • 任意の OS を別の OS 上で動かせるようにする
  • Linux カーネルハイパーバイザ KVM は QEMU 上で動作する
    • AWS、Google Cloud、Microsoft Azure、IBM Cloud など、すべての主要クラウド事業者が、これを基盤として構築されたインフラ上で VM を実行している
    • 地球上で最も広く参照されているクラウドインフラのコードだと評価されている

そのほかの主要な単独プロジェクト

  • 2001年の International Obfuscated C Code Contest 優勝作だった小型 C コンパイラが TCC(Tiny C Compiler) に発展
    • TCC は Linux カーネルをソースから 15秒以内にコンパイルして起動できる
  • 2004年、個人のデスクトップコンピュータと自ら導出した Bellard's formula アルゴリズムで、当時としては史上最多桁の円周率を計算
  • 2011年、純粋な JavaScript で書かれ、ブラウザ上で Linux を動かす PC エミュレータ JSLinux を公開
  • 2019年、V8 を載せられない環境に適した小型かつ完全な JavaScript エンジン QuickJS を公開
  • 2021年、ニューラルネットワークベースの可逆データ圧縮器 NNCP を公開し、Large Text Compression Benchmark で即座に首位に立った

LLM 関連プロジェクト

  • LLM をローカルで実行する REST API Web サーバ TextSynth Server を構築
  • 言語モデルを活用し、既存アルゴリズムが到達できない圧縮率でテキスト・短文を圧縮する ts_zip, ts_sms を公開
  • 非常に低いビットレートの音声圧縮システム TSAC を公開
  • 2025年12月、メモリがほとんどない環境を狙い、QuickJS とは別に作られたマイクロコントローラ向け JavaScript エンジン Micro QuickJS を公開

Amarisoft と活動スタイル

  • 2012年、通信企業 Amarisoft を共同創業し、CTO を務めている
    • Amarisoft は世界中の通信事業者・研究機関が利用する 4G・5G 基地局ソフトウェア を開発している
  • 10年以上にわたって会社を運営しながら、個人ホームページ(bellard.org)を通じて個人プロジェクトを継続して公開
    • シリコンバレーへ移らないまま、いまもインターネットを静かに支えるコードを出し続けている

関連記事

1件のコメント

 
GN⁺ 19 시간 전
Hacker Newsの意見

  • Bellardの貢献一覧を見ると、純粋な能力もすさまじいが、それ以上に目立つのは 何を選ぶべきかを知る感覚 だと思う
    彼は非常に多くの人に役立つものになり得る仕事を選び続けてきたが、これは技術力以上に驚くべきことに見える
    人生で最も重要な問いは、何をするかを決めることなのかもしれない

    • おそらく基準は 簡単なことをやりたいのに、なぜこんなに難しいのか？ ということなのだろう
      現代のコンピューティングには開発者体験の沼が多すぎて、誰もがそうした体験をしているのに、実際に直しに行く人はほとんどいない
      要するに「良いはずのものがあまり良くなく、自分は学んでそれをもっと良くできる」という哲学であり、もっと広く言えば「とにかくやってよい」に近い
    • 伝統的に難しかったことをずっと 簡単に、速く、良く できるようにすると、その下で塞がれていたユースケースが解放される
      選択と実行の両方が重要なのだろうが、多くの産業は、以前は難しかったことを誰かが簡単にしたおかげで開かれてきた
    • 研究でも同じジレンマがよく生じる
      特にインパクトを出したいなら、一生を通じて何に時間を使うかを選ぶことが重要で、正しい問題選び は適切な解法を思いつくことより難しい場合が多い
    • こういう人こそ 10倍開発者 だ
      Bellardの場合は100倍以上かもしれない
      1日19時間働いたり、コード行数やPR数を増やしたりすることではなく、誰も思いつかなかった広い影響力を持つ優雅な解法を生み出す点にある
    • 逆に能力があるなら、自分の分野で 最も難しい問題 を選んで解けばよく、それを繰り返せばよい
      各分野の難問は秘密ではなく、結局はそうした問題に数年を注ぎ込む能力と度胸と意志があるかどうかの問題だ

  • 興味深いことに、Bellardの仕事の多くは 仕様をCに落とし込むこと のようにも見える
    重要なプロジェクトとしては ffmpeg（コーデック仕様）、qEmu（命令セット仕様）、QuickJS（EcmaScript仕様）、tinyC（C仕様）、通信関連（LTE仕様）があり、円周率計算やニューラルネットワークの仕事は例外に近い
    だからといって印象が薄いという意味ではなく、高性能なコーデックやエミュレータの実装は決して容易ではないが、比較的狭い領域に多くの仕事が集まっている点が興味深い

    • エンコーダ/デコーダの組がチャネルを通じて通信する通信仕様では、たいてい エンコーダだけが規定 されるという点を見る必要がある
      標準は技術進歩と実装間競争のためにデコーダを意図的に開いたままにしており、デコーダはチャネルのノイズや効果を処理しなければならないため、通常はより複雑になる
      そのため、競争力のある標準準拠デコーダ実装は決められた道をなぞるものではなく、研究開発に近く、Bellardは純粋なプログラマというよりプログラミングをするエンジニアに見える
    • 誰かがコーデック仕様を書いて、Fabrice BellardがそれをCに変換する、という理解は完全に間違っている
      コーデックは通常 リバースエンジニアリング で実装され、仕様が存在しない場合も多いし、文書化されたコーデックであっても効率的なエンコード・デコード方法までは教えてくれない
      Bellardのような人がまさにその効率的なアルゴリズムを開発するのだ
    • もともと仕様、実装、テストは分離された領域として訓練され、時には別々の人が担当していた
      今ではその三つを混ぜて行うことが多く、結果も悪くないと思う
      ただ、最近はそのうち 実装だけ をやっている人が多いように見える
    • 昔はコードを外注するために仕様定義に莫大な時間を費やしていた
      今ではコードに莫大な時間を費やすために 仕様を外注 しているようなものだ
    • ffmpegを実際に触ってみると、アーキテクチャはかなり印象的なほど プラグイン可能 にできている
      コーデックには基本概念から食い違う点や癖が多く、オーディオ・字幕・ビデオの世界では「フレーム」が何を意味するかも異なり、ソフトウェア・ハードウェアのコーダ間でフレームを受け渡す方法もまったく違う
      そうした異なる世界の処理をほぼ自由に組み合わせられるのは大きな成果であり、libav はそれを可能にするだけの十分に良い設計になっていると思う

  • Bellardはもう 20年以上FFmpegに関わっておらず、実際には23年近くになる
    当時のFFmpegにはコンポーネントやコーデック間でコードを共有するフレームワークがなく、彼のコードは良いものではなくスパゲッティコードの臭いがあり、今では彼のコードはほとんど残っていない
    今日のFFmpegになったのは他の開発者たちのおかげなのに、まるで彼が唯一の終身慈悲深い独裁者で、他の開発者たちは彼の賢明な枠組みの上に積み上げただけであるかのように扱われている
    今の彼がしていることは、商標を持って、どのプロジェクトやリーダーがFFmpegという名前を使えるかを決めることだけであり、すでに一度 libav 開発者たちを排除して別の独裁者を支持したこともある

    • 文脈を忘れてはいけない
      FFmpegとVideolanは寮の部屋で始まり、学生たちが寮でテレビをストリーミングしたり映画を共有したりするために使っていた
      Polytechnique と École Centrale のキャンパスは数kmしか離れておらず、両プロジェクトとも1997〜1998年ごろに始まっている
      学生時代なら、きれいなコードを書くよりビールを飲むほうで忙しかっただろう
    • 「著作権」ではなく 商標権 の話をしている
      著作権は著作権譲渡を求めないため、コードを書いた人やその雇用主などが保有している
      Linus Torvalds が一部の法域で「Linux」の商標を持っているが、著作権の大半は他の貢献者たちにあるのと似ている
    • 15年前の ffmpeg/libav ドラマについてのコメントを見つけた: https://www.reddit.com/r/linux/comments/vvdxn/comment/c57zdk...
      ffmpegについては詳しくないが、他のオープンソースプロジェクトで経験したことと通じるものがある
    • ffmpegは今や、一人だけに功績を帰するにはあまりにも成功した オープンソースプロジェクト だ
      昔は AviDemux が ffmpeg よりはるかに速くて優れた H.264 エンコーダ実装を持っていた時代も覚えている
      オープンソースらしく、ffmpegは AviDemux のコードを取り込み、最終的に AviDemux も競争するより ffmpeg をバックエンドとして使うという実用的な選択をした
      オープンソース精神を受け入れた良い例だと思う
    • 正気の人なら、ffmpegが今でも一人、とりわけ Fabrice だけで保守・開発されているとは思わないだろう
      スパゲッティコードだったかどうかは、初期にはそれほど重要ではない
      プロジェクトの範囲や将来がまだ分からなかった時点では、潜在的な将来の問題に引きずられるより、まずスパゲッティ状態で始める方が正しかったのかもしれず、要件をよりよく理解した後でリファクタリングすればよい
      コミュニティがそれをやったという点は素晴らしい

  • Fabriceのウェブサイトはこちら: https://bellard.org/
    プロジェクトの一覧がすべて載っている

    • 優れたプログラマーは個人ウェブサイトのデザインも良いことが多い
      すべてがとても明快で、不要な重複がまったくない

  • Bellardにはts_zipという非常に興味深いプロジェクトがあり、LLMベースの圧縮アルゴリズムである
    あくまで「実験」であり、本番環境で使うべきではないが、とても巧妙だ
    ウェブサイトの説明も面白い: “The ts_zip utility can compress (and hopefully decompress) text files using a Large Language Model”
    https://bellard.org/ts_zip/

    • 展開がオプションなら、私にも本当に印象的な圧縮アルゴリズムが思いつく
    • 実際、LLMとはまさにそういうものだ
      頭の中のモデル、そして子どもに説明するときのたとえとしては、「インターネット全体をzipのようなアーカイブに圧縮していて、その中からデータを見つける非常に賢く効率的な方法がある」というものだ
      WikipediaをCDで注文していた時代を覚えているくらい長く生きてきたが、あれとLLMをダウンロードすることの間に大きな違いは感じない
    • 時間や計算量を度外視した競技圧縮アルゴリズムという分野がある
      テスト用コーパスを圧縮するのに数時間、あるいは何日もかかる圧縮器を作った人たちもいる
      この分野の昔からの冗談まじりの上限は、圧縮は「AI完全」だというもので、たとえばシェイクスピア全集のテキストを圧縮する代わりに "The Complete Works of Shakespeare" だけをエンコードし、AI展開器がそのプロンプトから出力を再生成する、という話だ
      LLMの登場によって、Bellardはその冗談を現実のものにしたわけだ

  • “Fabrice Bellard” by Andy Gocke and Nick Pizzolato
    https://www.ipaidia.gr/wp-content/uploads/2020/12/117-2020-f...

    • そのNick PizzolatoがTrue Detectiveを書いた人と同一人物なのか気になる
    • その後さらに多くの仕事をしているので、かなり古い資料だ
    • これがHNに投稿されたことがないなら、投稿する価値がある

  • 誰かに「生きている人の中でいちばん賢いのは誰か」と尋ね、その人が挙げた相手にまた同じことを聞く、というのを繰り返したら、結局同じ小さな天才集団に収束するのか気になっていた
    生きている最高のコーダーでやるならCarmackから始められそうで、次はBellardに行くべきだろう
    ただ、Bellardの答えがまたCarmackではないことを願うだけだ

    • Manhattan Projectに参加した科学者や物理学者をたどっていくと、結局答えがJohn von Neumannに行き着く、という似た話がある
    • Appleで働いていた頃の同僚だけでも、即座に選べる人が10人くらい思い浮かぶ

  • 彼の写真を初めて見たが、プライバシーを守って注目を避けようとしていたSatoshi Nakamotoの正体が公開されたような感覚も少しある
    彼は、巨大なインターネット上で交流するよりも、ひたすら考えて難しい問題を解くという、もっと良いことが常にあった人なのだという印象だ
    仕事そのものも尊敬に値するが、仕事への姿勢はさらに尊敬に値する
    強いビジョンがあるなら、インターネットの見知らぬ人たちと一日中議論して選択を擁護するより、象牙の塔的な開発が必要なのだ

    • 彼は正体を隠していたわけではない
      探せば写真は見つけられた
      Satoshiと比較すべきではない
      ビットコインは持っていないし関心もないが、その名前は原典文書に刻まれた伝説のような存在だ
      Fabrice Bellardはコードを世に出している実在の人物であり、インターネット上の匿名的アイデンティティではない
    • BellardはMozartで、私たちの大半はSalieriにすらなれない
    • CarmackとBellardはどちらも神話化された人物になってしまった
      どちらも素晴らしいが、名前が出た瞬間に、実際に何をしたかよりも「彼らなら何を考えるだろうか」といった妙な期待を語り始めてしまう
      そうした神話化は、かえって業績を小さく見せてしまう
    • 彼が“Burguer” Rebecca Ann Heinemanに同じ敬意を示せなかったのは残念だ
    • 私は彼を、荒っぽくて長髪でタトゥーがあるかもしれず、体格が大きくて重厚な人だと想像していた
      写真がその想像を壊してしまい、今はその想像を返してほしい

  • 「今日のFFmpegはインターネットの見えないエンジンだ」という表現は言いたいことはわかるが、大げさすぎて嫌いだ
    FFmpegが突然消えても、インターネットは平気だろう
    製品の中核で依存している会社は困るかもしれないが、インターネット自体と大半のウェブサイト・インターネットサービスはそのまま正常に動き続けるだろう

    • LLMっぽい書き方だ
      そのツイート/文章はLLMが書いたもので、ああいうふうに書く
    • YouTubeとポルノがなければ、それは本当にインターネットなのか?
    • 今日のインターネットの大半を成しているものの見えないエンジンだと考えれば、大げさではないと思う
      明日のインターネットは違うかもしれない

  • かなり脇道で、低評価を覚悟して言うと、最近のX-記事の流れにはものすごくイライラする
    モバイルで読むには本文にたどり着くまで3〜4段階踏まないといけないし、記事はいつもLinkedInの投稿のように、注意力の短い読者のエンゲージメントに過剰最適化されたような作りだ
    そのうえ、このXの投稿とBellard本人のウェブサイトとのあまりに鮮烈な対比が皮肉でもある

    • すでに技術業界で大物VIPである人たちが、こういうツイートを書くのに時間を使ったり、さらに悪いことにPR会社を雇って書かせたりする必要を感じているのは、少し悲しい
      同じくらいの純資産を持つ他業界の有名人にはよくあることだが、私には奇妙に感じられる