Church of the TigerBeetle: テックエバンジェリズムを考察する

2026年8月3日投稿 アダム・ウェスピサー ボストン現代美術館の座席は、ある程度快適だ。ほとんど沈み込めるような柔らかな座面だが、肘掛けは自分か隣のどちらか一方しかスペースがない。1時間も経つと、座り方の調整の限界を探り尽くし、飛行機でしか感じないような「落ち着いた」感覚になる。Systems Distributed 2026の最終講演、「Mission-Critical」と題されたヨラン・ダーク・グリーンフ氏の講演は、ほぼ自己完結するほど効率的な定義から始まった。「ミッションクリティカルなソフトウェアとは、クリティカルなミッションを実行するソフトウェアである」と聞かされた。分かった。それは早かった、さあ夕食だ！しかし、講演は続き、TigerStyle、その印象的なロゴと共に、このエンジニアリング哲学こそがTigerBeetleを可能にしたという主張に至った。次に、TigerBeetleに関するいくつかの主張が続き、その中には、ある国の取引所の大部分がそれで稼働しているというものがあり、世界の取引を支えるというミッションステートメントで締めくくられた。取引所の数字は本物で、本当に印象的だった。しかし、それを囲むフレーミング、喝采を浴びるための壮大なミッションが、私に立ち止まらせた。その考えに落ち着く前に、私たちはJepsenレポートを見ていた。それは一種の証言であり、TigerBeetleが正しい判断を下したことを肯定する箇所を強調していた。特に感謝の間のインターリュードや、周囲の誰もが拍手するほどの社会的圧力、あるいは純粋な賞賛を受けた貢献者たちへの拍手は、かなりのものだった。それから音楽が始まり、TigerBeetleがスポンサーを務めるレーシングカーが流れると、私の唯一の考えは、一日中運転して同じ場所にたどり着くための素晴らしい方法だということだった。講演から何も得られないなら、私はそこに留まる社会的義務を誰にも負わない（あなたもそうだ）。私は列の真ん中から失礼して、ロビーで残りの講演を、あるインスタレーションに驚嘆しながら過ごした。 私が目撃したのは、普通のテックトークではなく、起源神話、証言、オーケストラ音楽を備えたTigerBeetleの教会からの説教であり、そのすべてが彼らのやり方が確かに最善であるという印象を残した。それはテックエバンジェリズムであり、それは私を恐れさせた。問題はTigerBeetleが技術的に悪い決定をしていることではない。彼らの決定論的テスト、viewstampレプリケーションプロトコル、そして善い目的のための資金と影響力の使用は印象的だ。問題は、信仰に基づく主張だ。内省や証拠なしになされ、消化して現在の信念体系に統合する間もなく次々と提示され、感情的なBGMに乗せられた主張だ。我々はバスティーユを襲撃する準備をしているのか、それともエンドユーザーのために機能するソフトウェアを構築しようとしているのか？問題は「この組織は感動的か？」ではなく、「これらの主張をスチールマンできるか？」であるべきだ。それがなければ、私たちはアイデアを持って歩き回っていることになるが、それを擁護するために必要な厳密さを持っていない。自分自身に対しても、チームメイトに対しても、組織に対してもだ。それは問題だ。 私はTigerBeetleを貶めようとしているわけではない。私が心配しているのは、説得のモードだ。プレゼンテーションは、評価するための装備を与える前に、聴衆に賞賛し、信じることを求めた。もし私が500ドルを払った（あるいは私の会社が私を派遣するためにそれだけ払った）なら、誇大広告を信じても証拠の重みを持ち帰らなければ、どんな良いことができるだろうか？私はTigerBeetleが素晴らしいと信じたいが、領収書のない信仰は、ほとんどの組織文化では役に立たない。テックエバンジェリズムを見たもう一つの場所はHaskellだ。特に、強く型付けされたプログラムがソフトウェアを構築するより良い方法であるという信念だ。それは、型に関する知識の程度に比例して保持される傾向がある主張だが、それが機能するという証拠が不足している。私が働いた3社すべてで、Haskellはソフトウェアの解決策として始まったが、最終的には会社の問題の元凶とされた。その非難は完全には正当ではなかったが、言語に対する熱狂的な信念は、Haskellerであることがアイデンティティの一部であったとき、言語のトレードオフについての議論を困難にした。それは、ツールを選ぶべきではない、あるいはそれらのツールに基づいてどこで働くかを選ぶべきではないということではない。単に、純粋に親和性に基づいたアイデンティティは技術的な問題の解決策ではなく、しばしばそれに邪魔になるということだ。 エバンジェリズムは、組織的な技術として有害と見なされる。たとえその部屋の誰もが（私以外は）すでに証拠を持っているとしても、信者を結集することは、人々を理性ではなく信仰によって信念を持つように訓練する。信仰によって結集する組織は、人々を信仰にデフォルトさせる。だから、本当に難しい質問、「コーディング標準を強制すべきか？」のような質問が出てきたとき、彼らは証拠ではなく確信に頼る。「TigerBeetleはうまくいった、彼らはXをやっている」と。第二に、エバンジェリズムは反対意見を抑制する。そして、そのスタイルに対する私の嫌悪感は、バグではなく機能だ。もし私が留まってスチールマンを強制していたら、フレーミング自体が質問を異端のように着地させていただろう。その部屋は意見の相違を処理するために作られたのではなく、それを溶解するために作られたのだ。そして、反対意見を溶解する文化は、自分が間違っていることに気づく唯一のものを失う。最後に、事実が変わるとき、信仰に基づく確信は脆くなる。世界が変化し、新しい問題、新しい制約が生じ、Tiger Styleが答えにならないとき、信仰によって抱かれた信念は方向転換できない。あなたを結集したエバンジェリズムは、今やあなたを閉じ込めるものとなる。 私は感動する必要はない。私はすでに感動している。カンファレンスに行く目的は、物事を学び、人に会い、新しいアプローチについて聞き、そして私が取り組んでいる問題にそれらの良いアイデアを適用するために必要な情報やリソースを得ることだ。エバンジェリズムの問題は、それが空虚なアクターを作り出すことだ。アイデアには興奮しているが、実質を欠いている人々。その部屋のほとんどの人は、技術的な議論のどの側面においても手ごわいが、彼らの動機のどれかが単なる信仰であると想像すると、私は非常に動揺している。信仰は必要ない。私たちは、仕事がそのメリットで立つことを許容する必要がある。領収書を示し、事実と理性で人々を力づけ、そして彼らが正しい判断を下すことを信頼する必要がある。カンファレンスがボストンで開催されたのは良かった。この議論をするのにふさわしい場所だ。これは、権威を信仰で受け入れることを拒否した人々によって築かれた都市だ。王の神聖な権利を見て、理性的な議論、証拠、そして主張は正当化されなければならないという急進的な考えで応じた人々。彼らは感動したから襲撃したのではない。彼らはそれを考え抜き、それを擁護でき、そして度胸があったからやったのだ。それが私が主張したい遺産だ。信じる会衆ではなく、自分の仕事を示せる人々の集まりだ。