ミッチェル・ハシモトの二社目Superlogical — 公開されたことと公開されていないこと

はじめに — 776ポイント、でも製品はまだない
公開されたことと公開されていないこと
なぜターミナルマルチプレクサなのか — libghosttyという資産
Ghosttyが作ったもの、そしてそれが会社ではない理由
HashiCorpからIBMまで — 経歴が実際に語ること
「低レベルへ戻る」という物語を検証してみると
HNコメントが提起した懐疑論
おわりに — 発表が薄いとき薄いと言うこと
参考資料

はじめに — 776ポイント、でも製品はまだない

2026年7月29日、ミッチェル・ハシモトが新会社Superlogicalを公開し、自身のブログに短い記事を投稿しました。会社サイトは同じ日にHacker Newsに投稿され776ポイント、コメント452件を集め、彼のブログ記事は別スレッドで150ポイントを獲得しました。

これだけの反応は製品そのものへの評価ではありません。製品がまだないからです。 サイトはベータ登録を受け付けており、公開されているのは問題定義とチーム構成と最初の製品の形だけです。776ポイントは、HashiCorpを作りGhosttyを作った人物が再び始めるという事実に対する反応です。

そこでこの記事は二つを分けて見ようと思います。第一に、実際に発表されたことは何か。 初期段階の発表では情報が大抵薄く、その薄さ自体が情報です。第二に、この選択がインフラツールの価値がどこへ移っているかについて何を示唆するか。 ここでは示唆と推測を明確に区別します。あらかじめ言っておくと、この記事で確認可能な事実として扱える範囲は思ったより狭いです。

公開されたことと公開されていないこと

まず事実関係です。ハシモト本人のブログ記事と会社サイトは公開範囲が異なります。ブログ記事には共同創業者の名前も投資情報もなく、会社サイトにチームと投資家の名簿があります。

項目	状態
会社名と社名	公開。サイトの文言は「あらゆる種類の仕事のためのマルチプレクサを作る」という趣旨
最初の製品	公開。ターミナルマルチプレクサ。ウェブとmacOS・iOSネイティブクライアント、長期維持セッション、セッション共有を内蔵
チーム	公開。ハシモトのほか三人
投資家	公開。Notable Capital、Amplify Partnersと複数のエンジェル
調達額	非公開。シードラウンドがあるという事実のみ確認
バリュエーション	非公開
リリース時期	非公開。ベータ待機リストのみ存在
収益モデル	非公開
Ghosttyとの関係	公開。libghosttyをMITライセンスの部品として使用、Ghosttyは非営利を維持
報道	確認時点でなし

チーム四人はこうです。ハシモト(HashiCorp共同創業、Vagrant・Terraform・Vault・Ghostty)、Jack Pearkes(HashiCorpの1号社員、エンジニアリング担当副社長とR&D担当副社長を歴任)、Alasdair Monk(PoolsideのHead of Experience、Vercelのデザイン担当副社長、HashiCorpとHerokuの経歴)、Hector Simpson(Poolsideのデザイナー、Heroku・HashiCorp・Clearbit・Vercelの経歴)。HashiCorp出身が二人とPoolside出身が二人という構成です。

投資家側で確認できるのは、Notable CapitalのGlenn Solomonがシードラウンドを主導したと明かしたことと、Amplify Partnersが投資の事実を公開したことです。Solomonは2014年のHashiCorpのシリーズAも主導した人物です。エンジェルの名簿にはPatrick Collison、Tobias Lütke、Guillermo Rauch、Aaron Levie、Armon Dadgarなどが載っています。金額を明かしたところはどこにもありません。 どんな数字を目にしても出典を確認することをお勧めします。

ハシモト本人の記事で最も情報量の多い一文は、なぜ会社を作ったのかという説明です。何年か注ぐ価値のある問題を見つけ、その範囲がチームを必要とし、一緒に作りたい人たちがいたということです。そしてGhosttyについて明示的に線を引いています — Ghosttyは非営利のまま残り、使命とガバナンスとライセンスと技術目標とロードマップは変わらないということです。

なぜターミナルマルチプレクサなのか — libghosttyという資産

ターミナルマルチプレクサは新しいカテゴリではありません。screenは1987年、tmuxは2007年で、zellijのような最近の実装もいくつもあります。HNのコメントが即座に「またtmuxか」と反応したのも当然です。

Superlogicalが記述する問題は少し違います。サイトが列挙する項目はローカル開発、リモートアクセス、コーディングエージェント、バックグラウンド作業、プロダクションアプリケーション、ライブデバッグ、サンドボックス、共有ターミナル、インシデント対応です。つまり作業が行われる場所が増えたのに、ツールは依然としてそれらを別々の世界として扱っているという診断です。ここにウェブクライアントとiOSクライアント、そしてセッション共有が加わります。

技術的に興味深いのは素材です。libghosttyはGhosttyのターミナル処理部分をライブラリとして切り出したもので、MITライセンスで公開されています。ハシモトは、Superlogicalも他の誰とも同じ条件でこの部品を使うと明言しています。

これがなぜ意味を持つのか押さえておくと — ターミナルエミュレーションは作ったことのある人だけが知る種類の沼です。エスケープシーケンスの互換性、Unicode幅の計算、合字とフォントフォールバック、スクロールバックのメモリ管理、GPUレンダリング。この層をゼロから作るのに何年もかかります。すでにその層を作ったことのある人が、その層をライブラリとして持って始めるということが、この起業の実質的な資産です。 逆に言えば参入障壁は部品側ではなくその上にあります — セッション同期、リモート接続、権限モデル、そして人々がすでにtmuxの設定に投資してきた筋肉記憶に勝る理由を作ることです。

Ghosttyが作ったもの、そしてそれが会社ではない理由

Superlogicalを読むにはGhosttyの直近3年を見る必要があります。Zigで書かれたGPUアクセラレーションターミナルで、1.0は2024年12月26日に出ました。この記事を書いている時点の最新安定版は2026年3月13日の1.3.1で、GitHubリポジトリは2026年7月31日観測時点でスター5万9千、フォーク3千2百です。

注目すべきはリリース数字よりガバナンス面の決定三つです。

2025年2月7日、サブシステムメンテナーモデル。 プロジェクト全体を見る「コアメンテナー」という概念をなくし、ターミナルエミュレーション、LinuxとGTK、シェル統合、フォントとレンダリングといった領域ごとに八人に自律性を与えました。興味深いのはこのモデルがPRとイシューをレビューする義務がないと明示している点です。オープンソースの燃え尽きの主因が権限ではなく義務感だと分かっている設計です。

2025年12月3日、非営利転換。 独立した財団を設立する代わりに、501(c)(3)であるHack Clubの財政スポンサー構造に入りました。知的財産はHack Clubに移転され、貢献者はMITライセンスのもとで著作権を保持します。発表文でハシモトは自分が依然としてプロジェクトリードであり最終決定権者であることを明示し、同時にどんな資金も本人には行かず、本人の利益になる形で使われることもないと明言しています。彼の家族はこのプロジェクトに15万ドルを別途寄付しました。

2026年4月28日、GitHub離脱の決定。 繰り返されるGitHub Actionsとプラットフォームの障害を理由に、リポジトリを移すことを決めました。発表時点で移転先は未定で、GitHubには読み取り専用ミラーを残し、ハシモト個人のリポジトリはそのままにします。この記事を書いている時点でも進行中の案件です。

三つの決定を重ねて見ると方向は明確です。Ghosttyは会社になれないよう意図的に設計されています。 商標と知的財産は非営利団体にあり、資金は創業者に流れず、権限は領域ごとに分散しています。だからSuperlogicalの発表にある「Ghosttyは変わらない」という一文は単なる挨拶ではありません。すでに構造的にそう作られていたことを確認する一文です。

この対比自体がこの事例で最も興味深い部分だと思います。オープンソースプロジェクトと会社が同じ人物から生まれたときどんな対立が起きるかは、これまでの事例が十分に示してきました。ここではその対立の火種が会社を立ち上げる前に整理されていました。

HashiCorpからIBMまで — 経歴が実際に語ること

時系列で整理するとこうなります。

2023年12月14日 — ハシモトがHashiCorpを去ると会社ブログを通じて発表します。2016年にCEOを退き2021年に日常経営から手を引いていたので、これは最初の後退ではなく最後の整理でした。記事の中で彼はエンジニアとしての関心がインフラの向こう側にあり、いつか別の挑戦へ移ることをずっと分かっていたと書いています。
2024年4月24日 — IBMがHashiCorp買収を発表します。
2025年2月27日 — 買収が完了します。企業価値ベースで64億ドル、1株35ドルの現金です。

ここで確認できなかったことを明かしておきます。ハシモトがIBM買収について公にコメントした記録を見つけられませんでした。 そして2023年8月のTerraformのBUSLライセンス変更についても、彼が公に発言した記録を見つけられませんでした。HNアカウント基準で該当時期を検索してみましたが結果はありませんでした。ないことは証拠にはなりませんが、あると引用されたものを見たら出典を確認することをお勧めします。

この経歴から実際に読み取れることは一つです。二社目の創業者は一社目が作った資源三つを持って始めます — 資本へのアクセス(同じ投資家が12年ぶりに再び主導)、採用へのアクセス(1号社員が再び合流)、そして流通へのアクセス(発表だけで776ポイント)。この三つは実在する利点であり、同時に製品検証を遅らせる要因でもあります。製品が何もない状態で待機リストを埋められるということは、市場のシグナルを遅く受け取るということでもあるからです。HNのコメントで「豪華なベーパーウェア」という表現が出た背景がここにあります。

「低レベルへ戻る」という物語を検証してみると

開発者ツールの創業者たちがSaaSを離れ、ターミナル、コンパイラ、ランタイムのような低レベルの作業に戻っているという話がよく出ます。Ghosttyがこの物語の代表事例として引用されます。検証してみました。

まず、この主張を明示的に述べる名のある出典を見つけられませんでした。 コミュニティで繰り返されるパターン認識であって、分析記事ではありません。そして事例を実際に並べてみると方向は分かれます。

Solomon Hykes — Docker以後、2022年にDaggerを創業。プログラム可能なCI/CDエンジンなので、低レベルというよりワークフロー層です。
Guillermo Rauch — socket.io以後Vercel。フロントエンドプラットフォームなので高レベルです。
Salvatore Sanfilippo — 2024年11月にRedisへ復帰。これは新会社ではなく元のプロジェクトへの復帰であり、Cのシステム作業なので低レベル寄りです。
Steve Yegge — 2022年10月からSourcegraph、2026年1月に「Gas Town」というコーディングエージェントのオーケストレーションツールを公開。低レベルではなくエージェント層です。
Adam Jacob — Chef以後System Initiative。DevOps自動化なので、これも低レベルではありません。

そして決定的に、Superlogical自体が低レベルの会社ではありません。 最初の製品はマルチプレクサ、つまりセッションとワークフローのオーケストレーションであり、低レベルの部分(libghostty)は会社ではなく非営利プロジェクトに残っています。この事例を「低レベル回帰」の証拠として使うのは事実関係に合いません。

より擁護できる観察は別のところにあると思います。作業が行われる場所が増えるにつれ、その場所同士をつなぐ層に値が付き始めています。 ローカル、リモート、サンドボックス、CI、そして並行して動くエージェントが互いに別の世界として扱われる状況は実在する問題で、Superlogicalの問題定義はまさにそこにあります。ただしこれは会社側とその投資家がする語りであり、独立した市場分析ではないという点は明確にしておく必要があります。

隣接する資金の流れのデータとして付けられるものが二つあります。2025年9月18日にAtlassianが開発者生産性プラットフォームDXを10億ドルで買収し、2025年12月11日にPortが8億ドルのバリュエーションで1億ドルを調達しました。どちらも開発者ポータルと生産性寄りであり、AIエージェントインフラではありません。「コーディングエージェントがインフラツールを代替する」という主張を裏付ける名のある出典は見つけられませんでした。

HNコメントが提起した懐疑論

452件のコメントで繰り返された指摘は五つに分かれました。創業発表に対する懐疑論は大抵ノイズですが、今回はいくつか実際のリスクを正確に突いています。

説明があいまいです。 ランディングページが何を作っているのか具体的に言っていないという指摘が最も多くありました。列挙された九つのシナリオは範囲を広く取ったものであって、問題を絞り込んだものではありません。

tmuxとzellijがすでにあります。 xkcd 927(標準がまた一つ増えるというあの漫画)が何度も引用されました。反論が全く不可能な指摘ではありませんが、既存ツールユーザーの設定資産と筋肉記憶に勝たなければならないという要求は実在します。

製品なしに投資だけがあります。 チーム四人のうち相当数が役員級の経歴なのに、まだ何も作られていないという組み合わせに懐疑がありました。

Tailscale依存。 中核機能がサードパーティの有料サービスに縛られる構造への懸念が出ました。

差別点が見えません。 コメントに「自分も同じものを作ってみた」という反応が多かったこと自体が、このカテゴリの参入障壁がアイデア側にないことの証拠でもあります。

この中のどれも今は判定できません。ただし判定できないという事実自体が現状です。会社が公開した情報だけではこれらの懐疑論に答えられず、答えが出るには製品が出る必要があります。

おわりに — 発表が薄いとき薄いと言うこと

まとめるとこうなります。

2026年7月29日に公開されたSuperlogicalで確認できる事実は、チーム四人、投資家名簿、最初の製品がターミナルマルチプレクサであること、そしてlibghosttyをMIT部品として使うことです。
調達額、バリュエーション、リリース時期、収益モデルはすべて非公開です。製品もまだありません。
Ghosttyは会社になれないようすでに設計されていました。サブシステムメンテナーモデル(2025年2月)、Hack Club財政スポンサー(2025年12月)、創業者に資金が流れない構造がそれです。
連続起業家の利点は資本、採用、流通の三つで、その利点は同時に市場シグナルを遅く受け取らせます。
「開発者ツールの創業者たちが低レベルへ戻っている」という物語は名のある出典がなく、個別の事例も方向が分かれています。Superlogical自体も低レベルの会社ではありません。

二社目の会社を評価するとき最も陥りやすい間違いは、一社目の実績を二社目の製品の根拠として使うことです。HashiCorpの成功はTerraformが良いツールだったという根拠であって、マルチプレクサが良いものになるという根拠ではありません。今確認できるのは、素材が良く(libghostty)、チームがこの問題領域で働いたことのある人たちで、問題定義が実際の不便に触れているということ程度です。この三つは必要条件であって十分条件ではありません。残りはベータが出た後に判断することであり、それまでは薄い発表を薄いと言うことが最も正確な記述です。