Matheus Moreira へのインタビュー:Lone Lisp と Linux カーネルについて

2026/07/18 6:15

Matheus Moreira へのインタビュー:Lone Lisp と Linux カーネルについて

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

Matheus Moreira は、C 標準ライブラリを使用せずに Linux システムコールを直接実行する独立型の Lisp インタープリタ「Lone」を開発しました。glibc の

getrandom
など重要な機能における遅延に触発され、彼は最初によりシステムコールを取り囲む「liblinux」というラッパーを作成しました。カーネル内の内部ヘッダー
nolibc.h
を発見した後、彼は liblinux をアーカイブし、数十年にわたる libc の遺産問題(グローバル状態である
errno
locale
、設計が不適切な API である
gets
atexit
など)を避けた真に独立した環境を実証する目的で Lone に転換しました。Lone は初期段階では少数のシステムコールのみを使用します(例:
execve
mmap
),大きなユーザー空間スタックを回避します。Moreira は以前 Rust を検討し、Zig を称賛しており、また若者時代は CRuby VM を研究した後、システムレベルの言語設計に焦点を当てました。

Lone は Common Lisp 風の再起動可能な条件ハンドリングシステムと適切なテール呼び出し最適化機能を備えています。パフォーマンスベンチマークの結果では、Ruby( gems のロードが必要)よりも起動が速い一方、バイトコードがないリストレベルの解釈モデルによるものであり、Python よりも 10〜100 倍遅いことが示されました。Moreira は 2019 年に医学部を卒業した医師で、現在はクリニックで働いている間、Termux を通じて Android で Lone の開発を行っています。彼は Lone で自身の一部のツールの置き換えを計画しており、コアロジックは自分で書く一方でコードレビューとプロジェクト管理には AI(Claude)を利用しています。彼の目標は、技術的な負担を伴わずに OS と直接相互作用するシステムを構築することで、開発者が自分のコンピューティングスタックに対して画期的な所有権を持つことを促すことにあります。

本文

マテウス・モレイラ氏インタビュー:Linux システムコールと「Lone Lisp」への道

1. プロフィールと経歴

  • インタビュアー: アレックス・アレハンデロ (Alex Alehanero)
  • 被取材者: マテウス・モレイラ (Matheus Moreira)
  • 主な成果物: 直接 Linux システムコールにアクセスする言語「Lone Lisp」の開発
  • 背景: C 言語、Linux カーネルの深い知識を有し、システムプログラミングにおける新しいパラダイムを提案。

2. プログラミングへの道筋

  • きっかけ: ゲーム『メガマン バトルネット』シリーズに触れ、英語学習の機会として掲示板でのコミュニケーションを始めました。
  • 初期言語: C++ を学び始め(Dev-C++ と cplusplus.com のチュートリアル参照)、後に Java、Ruby、Pythonへと挑戦しました。
  • Schemeとの出会い: 「極めてエレガント」と感じた Scheme に到達し、最終的には Lisp へ至ります。
  • Rubyの愛着: 最も長く愛用し、Rails プロジェクトを開始するなど現在も使用しています。Git パーサー「Acclaim」を開発した経験もあります。
  • C言語への回帰: 低レベルなシンプルさが魅力的で、CRuby VM のソースコード探究を通じて「なぜ Ruby がこう動くか」を理解するようになりました。
    • Java や C++ は現代では実質的に新しい言語のように進化しており、基礎的な理解が追いつかなくなりました。C で再構築する選択肢を選びました。

3. 「Lone Lisp」と Linux システムコール

liblinux (lone) の理念

  • 目標: libc(glibc など)を介さず、Linux カーネルのシステムコールインターフェースに直接アクセス可能な C ラッパーライブラリ
    liblinux.a
    を作成。
  • 背景:
    • 公式な C ライブラリがない理由について Greg Kroah-Hartman氏に質問した際、「klibc」プロジェクトが過去にあったが、現在では内部ツール
      nolibc.h
      が存在すると回答されました。
    • カーネル開発者たちが内部で似たアプローチを採用していることに気づき、これを一般化・公開する道を選びました。
  • 名称変更: プロジェクトは「Lone Lisp」へと発展し、システムコールを介したスタンドアロンの Lisp 環境を実現します。

スタンドアロンの C モードでの改善点

liblinux
(および Lone Lisp)では、C の遺産問題を大幅に削減できます:

  • グローバル状態の排除:
    • errno
      の扱いを独自化。
    • 再帰的なテーマを含む複雑なローカル環境設定を回避。
  • API の再設計:
    • 不適切な API(
      gets
      ,
      atexit
      ,
      signal
      ,
      malloc
      など)を排除。
    • 自前のアロケータを実装し、メモリ管理の完全性を確保。
  • クリーンな実装: glibc の複雑なソースコードではなく、musl libc のような清潔なリポジトリから学び、ゼロから機能を実装する能力を養いました。

「裸金属 (Bare Metal)」環境の実現

「なぜコンパイラにシステムコールサポートを内蔵できないのか?単に

system_call
キーワードを追加し……中間の libc のバカげたもの不要。」— マテウス・モレイラ

  • 広範な GNU ツールも捨て、Linux のシステムコールバイナリインターフェースのみで動作する環境を構築。
  • システムコールコード自体は最小限であり、通常の関数呼び出しと同様に機能します。

4. Lone Lisp の技術詳細

アーキテクチャと特徴

  • 起動プロセス:
    • 親プロセスから
      execve
      だけで開始。
    • 内部メモリ管理には約 12 回
      mmap
      を使用(合計 300 以上のシステムコールのうち一部のみ利用)。
  • 自己完結性:
    • ELF セグメントを読み取り、そこにコードを実行する機能を持つインタプリタ。
    • インタプリタ自体をコピーし、Lisp コードを追加することで自立型プログラムを作成可能(埋め込みセグメント機能)。
  • エラー処理システム:
    • Common Lisp 風の再試行可能コンディションを採用。
    • 制限付き継続 (Controlled Continuations) を実装。スタックのコピーと「再生」を実現し、例外を値としてキャッチ可能にしました。

言語デザインとシンタックス

  • インスピレーション: Ruby の楽しさと Scheme の清潔さを融合。
  • リストリベルなインタプリタ: バイトコードコンパイルを行わず、評価機が直接リストを処理する方針です。
    • 理由: リストをバイトコードに変換すると Lisp の本質が失われるため。
  • シンタックス:
    • Clojure, Ruby, Python 等を採用しているネストした構文を採用。
    • (let (a b c d ...) body...)
      とシンプルに記述可能(従来の
      (let ((a b) ...) ...)
      と異なる)。
  • 制御構造:
    • control
      transfer
      の 2 つのプリミティブで、継続を直接呼び出し可能な設計。
    • クロージャの実装基盤として機能します。

パフォーマンス

  • 起動速度: Ruby gems のロードよりも早く終了可能。スクリプト実行においては Python に比べて優位性があります。
  • 実装方針:
    • バイトコードコンパイルに抵抗し、リスト処理の純粋性を維持。
    • 将来的には JIT コンパイラー(C インタプリタをブートストラップ基線として)を導入する計画。

5. AI と開発プロセス

  • AI の活用: Claude を「マネージャー」として使用。コードレビュー、プロジェクト管理、文書化に依存しています。
  • メリット:
    • 15 年以上の単独開発から脱却し、第三者視点による批判と未開発領域の特定が可能に。
    • ガーベージコレクタやメモリアロケータなどのアルゴリズム改善に寄与。
  • 注意点: AI にコード生成自体を任せることは過度な慎重さになりうるため避けています(教育的価値のためには手書きが重要)。

6. 将来のロードマップとプロジェクト目標

  • 代替システム構築:
    • 独自にメンテナンスしている静的サイトジェネレーター (
      Pug.js
      のフォーク) を
      Lone Lisp
      に書き換え。
    • 独自のシェルとユーティリティを作成し、伝統的な Linux ユーザーランドを再構築する。
  • 標準ライブラリの開発:
    • Ruby/Scheme からインスピレーションを得たイテレーションプロトコルや文字列操作関数の実装。
    • Hiccup 風のウェブフレームワークへの発展。
  • 機能拡張:
    • math.h
      の複雑な問題(NaN など)への対応、オーバーフローチェックの導入など。

7. フィロソフィーとメッセージ

  • ユーザーエンパワーメント:
    • コンピュータは世界を変革する技術であり、個人が所有・管理すべきだと考えます。
    • systemd や Rust/Zig のコミュニティのように、システムを再構築する「戦い」を選ぶべきです。
  • 責任と所有意識:
    • 破損したシステムは修正する責任がありますが、多くの人が責任を避けがちです。
    • 「恐れることは何もない」という精神で、 libc や DNS など既存の層を剥がす勇気を持つことを願っています。
  • 目標:
    • 人々が自らのシステムを作り出し、探求することを鼓舞する。
    • コンピュータの世界において「根本的な所有 (Radical Ownership)」を達成すること。

「ライブラリーを作る側でありたいのです。単に消費するだけではありません。」— マテウス・モレイラ

同じ日のほかのニュース

一覧に戻る →

2026/07/23 23:24

筆記は脳にとっても有益です

## Japanese Translation: 筆記は、抽象的なアイデアを複雑な身体的動きと統合させることで、タイピングよりも脳をより深く関わらせます。著者は、*Baroque Cycle* のために大量のページを書くなど、25 年間の日常的な筆記の経験に基づいてこの主張を支持しています。「書き手痙攣」という一般的な恐怖とは対照的に、著者は数十年の実践を通じてこれを一度も経験したことがありませんが、文字が illegible になるや大文字を忘れるなどの初期の苦労は新しい書き手によくあると認められています。筆記機構では適度な摩擦(「歯車」)に依存しており、草書はこの摩擦を活用することで、個々の文字を書くことよりも疲れにくくしています。「インク災害」という一般的な恐怖は、 Fountain Pen との固有の欠陥ではなく、不適切な材料や条件(例えば大気圧の変化など)から生じた神話であることが多く、適切な紙とペンとの組み合わせにより左利きであっても滲みを防ぐことができます。教育者は AI の懸念により学生を長手筆記試験に戻すようになり、学習者が高価な機器への投資をする前に、綿成分の紙や Pilot G-2 ペンのような利用可能な選択肢を試験することが重要となっています。タイピングや AI だけに依存するだけでは、運動技能を統合する身体的評価に備えられない可能性があります。

2026/07/24 4:26

Show HN: Echo – オープンウェイトモデルで費用を 1/3 に抑えつつファブルレベルの成果を実現

## Japanese Translation: 本記事では、OpenRouter、Fireworks、JusCode、Pellmell.ai、TracerML(Echo)、SakanaAI Fugu、Magnitude.dev などの現代の AI ルーティングシステムが、Fable といったプレミアムまたは専用ソリューションと比較して著しく低いコストで高品質な大規模言語モデル(LLM)の出力を可能にすることを論じています。ベンチマークデータによれば、ルーターは HumanEval+、SWE-bench Verified、BigCodeBench を含む 7 つのベンチマークファミリーにおいてトップクラスモデルと同等のパフォーマンスを発揮しており、従来手法のおよそ 1/3 の価格で達成されています。生成に基づいたアプローチ(例:Fusion)のように多数の返信を生成して合成する過程で高いレイテンシーとコストを招く一方で、ルーティングアーキテクチャは速度を維持しつつ結果を改善します。Dogpile.com、AskJeeves、Alta Vista、Lycos、DeepSeek R2、GitHub Copilot(GHCP)、OpenAI の「auto」モードといった製品も、異なる戦略を示しています。OpenAI の「auto」モードは単純なクエリに対するインフラコスト削減のためモデルサイズを選択し、Pellmell はルーターを通じて最適の返信を即時にストリーミングするとともに、必要に応じて絵文字反応を使って合成を行います。エコシステムは歴史的な検索エンジンから GPT-5/4o/o1、Qwen 3.7 Max、Anthropic モデル、GPT Sol、そしてさまざまなオープンウェイトの中国モデルを使用する現代ツールまでをカバーしています。重要な技術的な区別として、現在の LLM の専門家混合物(MoE)におけるルーティング決定はトークン単位で行われるのに対し、タスク固有またはアンサンブルルーティングとはアーキテクチャ的に異なります。プライバシーポリシーは更新され、Echo が顧客のプロンプト、ファイル、チャット、出力をモデルの学習やファインチューニングに使用しないことが明確に記載されています。また、Echo は今後は無料での初期クレジットを提供し、サインアップ時にクレジットカードの登録が不要となっています。専門家は、月 200 ドルといった優遇されたサブスクリプションプランが一時的な損失誘発策であり、エンタープライズは最終的にトークンあたり標準的な API 価格に直面する可能性があると警告しています。「1/3 のコストで Fable 相当の結果」といった主張に対する懐疑については、ルーターが高品質モデル(Fable など)を必要に応じてのみ使用することで費用を節約するためであることを明確化することで対処します。これらの進展は、業界がよりアクセス可能なインフラストラクチャーへと移行するにつれて、企業が品質、速度、価格を慎重にバランスさせることを迫っています。

2026/07/24 6:05

Namecheap が単に依頼されたからといって、私のアカウントを未確認の第三者に引き渡した

## Japanese Translation: CVC Capital パートナーズによる 2025 年 9 月の買収およびそれ以降の経営陣の変更を経て、Namecheap は深刻なユーザー信頼危機に直面しており、その要因は重大なセキュリティ上の見落としと運用上の不安定さにある。具体的な不満事項には、正当な理由なく WHOIS データが準拠しているにもかかわらずアカウントがロックされること、Link などのサードパーティ系決済プロセッサーへの強制的な移行(これらは侵襲的な SMS 認証を要求する)が含まれる。さらに、攻撃者に対しソーシャルエンジニアリングを用いて完全なドメイン制御権を付与したという致命的なサポートインシデントが発生しており、これは無料で利用可能なプライバシーツールが提供できたはずの保護を回避するという事案である。これらの問題は、私募資金出資(プライベートエクイティ)による所有下でのコスト削減が本質的なセキュリティ慣行を犠牲にすることで生じる「enshittification」の傾向を象徴している。その結果、ユーザーは Cloudflare、Porkbun、Gandi といった低価格かつより安全な代替手段へ急激に移りつつあり、これは従来の高マージン型のドメインレジスターからの市場シフトではなく、堅牢なセキュリティを優先するレジスターへの転換を示している。 ## Text to translate: Following its September 2025 acquisition by CVC Capital Partners and subsequent leadership changes, Namecheap is facing a critical crisis of user trust due to severe security lapses and operational instability. Specific grievances include accounts being locked without valid reason despite compliant WHOIS data, forced migration to third-party payment processors like Link that demand invasive SMS verification, and catastrophic support incidents where agents granted attackers full domain control through social engineering—bypassing protections that free privacy tools could have provided. These issues exemplify the "enshittification" trend where cost-cutting under private equity ownership sacrifices essential security practices. Consequently, users are rapidly migrating to cheaper, more secure alternatives like Cloudflare, Porkbun, and Gandi, signaling a market shift away from traditional high-markup registrars toward those prioritizing robust security.