Bez:仕様とテストからブラウザエンジンを生成する

2026/10/02 3:08

Bez:仕様とテストからブラウザエンジンを生成する

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

要約▶

Japanese Translation:

Bez プロジェクトは、カスタムブラウザコンポーネントの構築に必要な高額な費用と手作業を大幅に削減することを目的とした画期的な生成型 Web レンダリングエンジンです。ブラウザ仕様およびテスト結果に基づいて自動的にコードを作成するため、現在は Chromium、Firefox、WebKit などの主要ブラウザと 94.8% の互換性を実現しています。この自動化により、規格が変更された際に瞬時に論理を検証でき、繰り返しの手作業による書き換えの必要性を排除しています。手書きコードは現在なお複雑な領域(特に JavaScript)で支配的であり、現在のエンジンでは 93.0% を占めていますが、システムは「tree-shaking」と呼ばれるプロセスを通じて生成された機能をより多く含める方向に進化しています。この手法は、アプリケーションが必要とする特定の機能のみを選択的に取り込むことで、全機能を含むエンジンと比較してメモリ使用量と実行オーバーヘッドを削減し、パフォーマンスを最適化します。最終的に、このアプローチは企業に、Web エンジンをゼロから構築するための prohibitively high な費用をかけずに、高速で軽量なレンダリングソリューションを展開することを可能にします。

本文

Bez:生成された Web エンジン

Bez は、仕様の定義に基づいて Web レンダリングエンジンを自動「生成」するプロジェクトです。Web ブラウザの動作ルールを人手で記述し直すのではなく、仕様とテストからコードを導き出します。

プロジェクト概要

なぜ Bez か?

  • 現状の問題:手作業で Web エンジンを構築するには数百人のエンジニアと長年多くが必要です。これにより機能決定権は限られた企業に委ねられかねません。
  • Bez のアプローチ:仕様の定義に基づき、3 つの商用ブラウザ(相互検証済み)と WPT(Web Platform Tests)を使用してエンジンが自動的に生成されます。パイライン構築後は、追加のエンジンを生成するコストを大幅に低減できます。

目標

  • 完全性または Tree-shaken
    • デフォルトは完全なエンジンとなります。
    • Web ブラウザ以外の用途(サイト分析やアプリケーション検討など)では、利用されている機能のみを含むようにビルド可能です。
    • 未使用の機能はバイナリから除外されます(単なる無効化ではなく)。詳細:
      docs/content-scoped-engine.md
  • あらゆるデバイスで高速
    • コード量が少なく、メモリ使用量も最小限です。
  • 容易な埋め込み
    • 明確な API を備えた小型エンジンです。
    • Chromium の全体を含む場合でも含まない場合でも動作するように設計されています。
  • 更新が最も迅速
    • 仕様やテストに変更が発生しても、コードを手動で書き直す必要はありません。自動再生成と再検証が行われます。

仕組み(生成プロセス)

  spec["spec text"] --> model["model writes<br/>many candidates"]
  model --> engine["candidate runs<br/>inside the engine"]
  browsers["Chromium, Firefox,<br/>WebKit (cached)"] --> check{"same boxes,<br/>same places?"}
  engine --> check
  check -- no --> model
  check -- yes --> code["committed as<br/>ordinary Rust"]

主要ドキュメント

  • docs/generation-loop.md
    :仕様テキストからコミットされたコードへの変換ルールについて。
  • docs/geometry-verification.md
    :エンジン内のレイアウトが 3 つのブラウザでどのようにチェックされるか。
  • docs/generated-functions.md
    :生成されたレイアウトルールと各バッチの内容。
  • roadmap.md
    :プロジェクト計画、決定事項、未解決の課題。

ステータス(2026 年 9 月 25 日時点)

browser-compat-data 8.0.4(17,259 のリーフキー、docs/feature-map.json に 74 のルールを含む)に対する計算結果です。

領域生成済み手書きリンク付きオーラクルのみ未到達
全体0.6%0.3%0.5%5.7%93.0%
CSS2.5%1.1%2.0%0.0%94.4%
HTML0.0%0.0%0.0%0.0%100.0%
API0.0%0.0%0.0%9.9%90.1%
JavaScript0.0%0.0%0.0%0.0%100.0%
SVG0.0%0.0%0.0%0.0%100.0%
WebAssembly0.0%0.0%0.0%0.0%100.0%
HTTP0.0%0.0%0.0%0.0%100.0%
MathML0.0%0.0%0.0%0.0%100.0%
  • ステータスの意味と同期方法の詳細は
    docs/dashboard.md
    を参照してください。
  • DOM、スタイル、ボックスツリー、フラグメントツリー は
    crates/dom
    および
    crates/layout
    で手書きされており、ブラウザチェックに合格しています。
    • CSS 2.1 レイアウトルール(9 つ)のうち 8 つはモデル作成で生成され、3 ブラウザの投票で承認されました。
    • ブロックの高さはどのモデル候補でも凌駕できず、引き続き手書きルールが保持されています。
    • これらは約 227 のレシピケースとすべての WPT normal-flow ページをパスします。
    • 実行ルールの詳細:
      roadmap.md
      → 「各生成関数が実行するそれぞれの解析器」。

これまでの所見

  • ブラウザ間の合致
    • 3 つのブラウザは大部分で合致しています(残りの 1 つが逸脱)。
    • 699 の比較のうち、235 のドキュメントで一致しました。すべての不一致は Firefox のみでした(多数決投票結果)。
    • 詳細:docs/firefox-app-units.md
  • Firefox の差異と Web 互換性バグ
    • Gecko は長さを 1/60 px に丸めるのに対し、Blink および WebKit は 1/64 px を使用します。
    • これにより Flex アイテムの折り返しや
      offsetWidth
      の 1 ピクセルの違いなどが発生します。
    • Mozilla は Slack、Google Store、Samsung で同様の破損を診断済みです(Mozilla bug 1719314)。
  • WPT の投票表
    • 安定した 3 エンジンによる多数決は、2,282,301 テストキーのうち 2,162,676(94.8%) をカバーします。
    • 詳細:docs/wpt-votes.md
  • スクリプト観測とコンフォーマンススイート
    • Trace probes
      は 15/18 のエンジンペアで合致し、残りの不一致はプラットフォーム固有の違いです。
    • コンフォーマンススイートは有用なオーラクルとなります:
      • WPT canvas: 82.6%(tentative 除外:92.7%)
      • Khronos WebGL (dEQP): 99.7%
      • WPT Web Audio: 74.4%(tentative 除外:85.6%)
      • WebGPU CTS: 検証用約 85%、数値実行用約 50%
    • 詳細:docs/conformance-oracles.md、docs/webgpu-cts.md
  • ロジックプログラミング
    • Datalog で記述された Margin collapsing は、すべてのオフセットケース(1,195)で合致しました。
    • 幾何学チェックにより、手書きルールに潜む種まきバグを捕捉できました。
    • 詳細:docs/logic-layer.md
  • 経済性
    • エンジン関連の互換性エントリの約 55–60% は、自動化されたオーラクルと生成可能な仕様プロースを持っています。
    • 一方、約 8–18% はどちらも持っていないため自動生成が困難です。
    • 詳細:docs/platform-economics.md、docs/oracle-coverage.md

未解決の問い

  • 各ルール構築の手作業コストと、生成部分の幅(スコープ)はどれほどあるべきか?
  • JavaScript を使わずに到達可能な WPT の範囲はどのくらいか?
  • IDL 生成コードの境界はどこか?
    • 詳細:roadmap.md → 「Open questions」を参照。

ソースデータ

プロジェクトは以下のリポジトリから Web プラットフォームデータを取得しています。

  • browser-specs:すべての Web 仕様
  • web-features:機能別にグループ化した Web プラットフォームデータ
  • browser-compat-data:Web の互換性データ全体
  • WPT:Web プラットフォームテストスイート
  • wpt-gen:仕様から生成された WPT テスト
  • webref:機械読み取り可能な Web 仕様用語集

同じ日のほかのニュース

一覧に戻る →

2026/10/02 4:33

Pi 1.0

## 日本語翻訳: Pi 1.0 のリリースは、機能の急速な拡張よりも安定性を優先する点において、そのエージェントハネスにおける顕著な進化を表しています。すべての最新技術を即時に採用する代わりに、このバージョンでは既存のシステム制約に対して堅牢性が証明された後にのみ変更を統合することに焦点を当てています。この「強化された」アプローチにより、ソフトウェアは不必要な複雑性を持たずに簡潔かつ拡張可能であるように保たれます。新機能には、Model Context Protocol (MCP) へのネイティブ対応、Jev や画像モデルといった大型言語モデル以外との互換性、遅延ツールロード、会話中のシステムメッセージが含まれます。ユーザーエクスペリエンスの向上のために、インターフェースも新しいテーマとデフォルトのフルスクリーンモードで強化されました。何十万もの週次ユーザーからのフィードバックに基づき開発が進められた本プロジェクトは、MIT ライセンスの下でオープンソースとして存続しています。今後の展望として、実験的な「Pi Durable」パッケージでは、ミニマリズムを維持しながら長期的な AI タスクの管理機能を備えています。これにより、ユーザーは異なるプラットフォーム上で、より長期間にわたって基盤となる AI を自在に操作・制御することが可能になります。Pi 1.0 のインストールは `curl` または PowerShell コマンドによるものが利用でき、Pi Durable については `npm install @earendil-works/pi-durable @earendil-works/pi-ai @earendil-works/chord` を実行する必要があります。両方とも pi.dev でドキュメントが提供され、github.com/earendil-works/pi にコードが公開されています。Codemode の機能には、Claude Opus、GPT、Jev などの特定モデルを使用してコミットのサマリーを記述するスクリプトや、自作拡張の記述などが含まれます。

2026/10/02 6:07

Web 開発教育の死

## Japanese Translation: 生成 AI は、エコシステムを破壊することで Web 開発者、教育者、出版社の経済的健全性を根底から覆している。Baldur Bjarnason や Axel Rauschamayer のような著者および出版社は収入が急落し、事業の閉鎖に追い込まれている。特に Rauschamayer は 2026 年に書籍からの収益がゼロとなり、AI クローラーが彼の作品を盗みながら広告収益を生み出さなかったため、コンテンツをオフラインに移すことを余儀なくされた。同様に、Web 開発者の教育者である Josh W. Comeau や Kyle Cook も、LLM がタスクを自動化し仕事を吸収したことで Comeau の収益は半分になり、Cook は深層技術チュートリアルから AI モデルに関する浅く簡単に制作される動画への視聴者のシフトにより半分もの視聴数を失ったと報告している。 この危機は財務面のみならず、Salma Alam-Naylor のような専門家の中で深刻なバーンアウトと不安を引き起こしており、彼女のスキルや共感力が業界で貶められたため、一般に露出の少ない低給の役割を受け入れた。この変化は高品質な教育を脅かしており、開発者は学習のためにエラーが発生しやすいチャットボートに頼る傾向が強まっている一方、Rachel Andrew は GenAI が主題領域の専門家と編集者の間の重要な関係性を損ない、生産性の負担を読者に押し付けるだけであり、根本原因を解決したり実際の効率を高めたりしていないと主張している。究極的には、現在のトレンドは真実の人間の協働よりも短期的利益を優先している。

2026/10/02 1:18

Clef:オープンソースの意思決定モデルと新しい強化学習ファインチューニングプラットフォーム

## Japanese Translation: Cloudflare は、Apache 2.0 ライセンスの下で Workers AI 上にホストされる 2 つの新しい決定モデル、Clef および Clef-flash を発売します。これらのモデルは、標準的な大規模言語モデル(LLM)がしばしば予測不可能なテキストを生成するのと鮮明な対比をなすように、低コストで一貫性があり、厳格に型付けされた構造化された出力を提供します。Qwen アーキテクチャに基づいて構築されており(Clef は Qwen3.8-27B、Clef-flash は Qwen3.5-9B)、画像分類のためにビジョンエンコーダーで強化され、非自己回帰的処理を利用して推論速度を高速化しています—Cloudflare の一般 LLM gpt-oss-120b と比較して、脅威インテリジェンスタスクにおいて 2 倍のレイテンシ削減を示しました。現在 Jev Decision Index ベンチマークで最高スコアを得ており(BFCL ケース exact ベンチマークで 98.47 のほぼ完璧なスコア)、Clef は他のモデルである Jev および Kev 9B を凌ぐような大きな性能向上を提供しています。両モデルとも 64k コンテキストウィンドウを備えており(Jev と比較して 32k)、データが保存されることも、トレーニングに使用されることもないというエンタープライズ対応の保証をサポートします。AI Gateway および Workers AI といった Cloudflare の既存インフラストラクチャを活用し、これらのツールはすでにドメイン分類およびサポートトラージングのための内部運用を動力付けています。このリリースは、Cloudflare の「エージェントクラウド」ミッションを実現するために高速分類器向けニッチ市場への戦略的参入を意味し、新しい強化学習製品および Forward-Deployed Engineer サービスを通じた微調整のためのさらなる機能を提供します。

Bez:仕様とテストからブラウザエンジンを生成する | そっか~ニュース