2026/09/17 17:13

1年間のスポンサードされたサーボ開発

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

要約▶

日本語翻訳:

最も重要な点は、寄付により資金化された一年間のサービス・メインテナーとしてのジョシュ・バウマン＝マシューズの役割が、成功してプロジェクトのコントリビューター体験を向上させ、コアコードベースの安定化を図ったという事実です。このイニシアチブは、8 人の新しいメインテナーを指名することでメンテナンスチームを拡大し、重要な技術的負債に対処しましたことで、ウェブ開発者向けのブラウザエンジンとしての信頼性を高めています。

この成功の実証として、1,150 のプルリクエストのレビューや、新しいコントリビューター向けに 114 つのターゲットされた issue の作成があり、驚異的な 92% の修正率を達成しました。また、別のコントリビューターが自身の助成金申請を支援する手助けを行いました。主要な技術的マイルストーンとしては、間欠的なクラッシュ（パニック）を排除するため JavaScript エンジンとの統合を書き換えること、および新しいブラウザタブの起動方法を影響を与える壊れた

window.open

の動作を修正することが含まれます。また、不安定なテストの安定化や、貸借危険性、実験機能、AI ポリシーなどのトピックに関する包括的なドキュメント作成に多くの尽力も払われました。

財政的支援は OpenCollective および GitHub での月額寄付によって確保され、意味のある作業と家族生活、コミュニティへの関与を両立するために必要なリソースを提供しました。具体的な将来のタスクの詳細は記載されていませんが、プロジェクトはすべての寄付が継続的な開発に大きく影響すると強調しています。結局のところ、これらの取り組みにより、Servo が複雑な業界課題を処理する能力を強化することができました。

テキストを翻訳する

（必要に応じて；otherwise repeat the original）:

まとめ:

最も重要な点は、一年間の寄付資金化された Servo メインテナナーとしてのジョシュ・バウマン＝マシューズの役割が成功してプロジェクトのコントリビューター体験を向上させ、コアコードベースの安定化を図ったという事実です。このイニシアチブは、8 人の新しいメインテナーを指名することでメンテナンスチームを拡大し、重要な技術的負債に対処しましたことで、ウェブ開発者向けのブラウザエンジンとしての信頼性を高めています。

window.open

本文

Servo 初の寄付資金による役割を振り返って

投稿日：2026 年 9 月 15 日

OpenCollective および GitHub の月額寄付を原資とし、長年のメンテナである Josh Bowman-Matthews（@jdm） が、パートタイムで Servo のコントリビューター体験改善に取り組むこととなりました。以下は彼の回顧レポートです。

💰 寄付による主な成果

まずは資金提供にご尽力いただいた皆様に心から感謝申し上げます。寄付のお陰でこのプロジェクトに貴重な時間を割くことが可能になりました。特に誇りに思い、達成した成果は以下の通りです：

メンテナ推薦: 新しいメンテナとして 8 名を推薦
PR レビュー: プルリクエストを総計 1,150 件レビュー
Issue フィラリング: コントリビューター向け Issue を 114 件精査（解決率 92%）
ドキュメント執筆:
- ボローン・ハザードについて
- 実験的な機能について
- AI ポリシーについて
- 「やるべきことを探す」ためのガイドラインについて
- 安定テストおよび間欠的テスト失敗の修正に関する解説

🛠️ プログラミングタスクと課題解決

他コントリビューターによる PR の予期せぬ失敗原因究明や、マージを阻んでいた間欠的テスト失敗の修正にも多大な時間を充てました。印象的な成果は以下の通りです：

JS エンジン統合の再書き換え支援:
- ごみ収集に関連する間欠的なパニック問題に対処
- 多数の PR レビューと Issue 投稿を通じて、対応を多くのコントリビューターへ分散させた
テスト失敗の安定化:
- ```
window.open
```
  の振る舞い破損を特定し、多くの不安定なテストを安定化に成功した
- テスト失敗の原因究明のために Tags を活用
助成案申請支援:
- 他のコントリビューターの助成金申請をサポートし、提案が承認された

💡 活動の意義と今後の展望

今回の役割は私にとって非常に意義深いものでした。

バランスの実現: 家族との時間を取りながら、プロジェクトへ実質的貢献ができる健全なバランスを見出せた
アクセシビリティへの注力: プロジェクトのアクセシビリティ向上方法を模索する時間を確保できた

プロジェクトと私の活動を支えてくれた皆様に謝意を表します。**毎月の寄付は一つ一つの金額が大きな違いを生みます！**来年どのような可能性が実現できるか、とてもワクワクしています。

同じ日のほかのニュース

一覧に戻る →

2026/09/18 5:36

Bend：CPU と GPU で証明により AI のミスをブロックする言語

## Japanese Translation: ## まとめ： Bend は、数学的証明をネイティブマシンコードに直接コンパイルすることで AI 生成のエラーを排除することを目的とした高性能プログラミング言語です。従来のランタイムチェックに依存する言語とは異なり、Bend は論理検証をコンパイル段階に統合し、速度を損なうことなく安全性を確保します。Python の構文の利便性と C レベルのパフォーマンス（1 コアでほぼ C と同じ速度、GPU では最大 100 倍高速）を統合し、CPU および GPU 双方での並列性を自動的に管理しつつ、スレッドやロックを必要とせず実行します。これは、アフィン依存型理論（BendTT）と専用の証明システムである `LAWS.bend` を組み合わせるユニークなアーキテクチャによって実現されています。これらのルールは人工知能エージェントが従う絶対的制約を定義し、一般的なバグが実行前に統合されることを数学的に防止します。Lean や Rocq に似る専門の型チェッカーである `PROOF.bend` が使用され、中規模なコードベースでは 1 秒未満でこれらの法の遵守を確認します。高度な証明アシスタントに着想をうけながら実行向けに最適化された Bend は、Linux および macOS 上でバックエンドタスク向けの安全かつ高速な AI 開発を可能にします。この技術を効果的に導入するためには、`curl -fsSL https://bend-lang.com/install.sh | sh` を使用してインストールし、`bend guide` コマンドを利用し、プロジェクトのドキュメント（例：`AGENTS.md`）に特定の検証指示を統合し、コードが宣言された法に準拠していることを確認するために `PROOF.bend` を実行する必要があります。主な機能には C 相当の速度、CUDA 並列性、Lean スタイルの証明、Python 構文が含まれます。プロジェクトが進化するにつれて、バグ報告を通じてその成長に貢献することをユーザーは推奨されます。

2026/09/18 6:13

bonsai 2 27B：サイズが 9 倍小さくても損失のない圧縮を実現

## 日本語翻訳: PrismML は、Qwen3.8 27B をベースとした現時点で最も高性能なモデルである Ternary Bonsai 2 27B をリリースしました。このモデルは、NVIDIA RTX 5090（最大 143 トークン/秒）や Apple M5 Max（46.8 トークン/秒）のようなコンシューマー向けハードウェアでの効率的なデプロイを目的として設計されています。モデルは{-1, 0, +1}の値を持つトライナリ重みと FP16 グループ別スケーリングを採用しており、フルプレシジョン版よりも 5.9GB のフットプリントで 9 倍以上小さく、かつ論理推論、数学、コーディング、指示に従うこと、ビジョン、エージェント型ツールの使用にわたる総合ベンチマークスコア（83.9 ポイント）において Qwen3.8 27B の 98.2% を達成しています。 262K トークンのコンテキストウィンドウとテキストおよび画像入力のネイティブサポートを備えた改良されたアーキテクチャに基づいた Ternary Bonsai 2 は、論理推論、コーディング、マルチモーダルワークフローにおいて強力なパフォーマンスを発揮しながら、通常誤差が累積しやすい領域でフルプレシジョンの能力を保持します。CUDA を通じて NVIDIA GPU や MLX を通じて Apple デバイス上で動作し、カスタムロービットカーネルを活用することで、小型モデルに比べエネルギー効率（RTX 4090 で 0.714 mWh/トークン）が優れており、運用コストを大幅に削減します。Apache 2.0 ライセンスの下でリリースされており、今日から完全な重みとホワイトペーパーが利用可能です。カリフォルニア工科大学の研究者らによって設立され、Khosla Ventures、Cerberus、Google の支援を受けた PrismML では、contact@prismml.com で連絡し、チーム協力によるモデルの適応化をサポートしています。

2026/09/18 1:25

ヒスター：閲覧したページや保存したファイルのためのプライベート検索エンジン

## Japanese Translation: Hister は、ユーザーのプライバシーをデフォルトで最優先する、訪問した Web ページおよびローカルファイルを対象とした、プライベートでローカルホストされた検索エンジンです。フルコンテンツをインデックス化し、必要不可欠なファビコンのみをダウンロードしますが、クラウドやテレメトリサービスにデータを送信することはありません。Hister は Linux、macOS、Windows、Docker、Nix 環境をシームレスにまたいで動作し、バイナリ（必要に応じて名義を変更）、Homebrew、Docker、または Nix を通じてインストールできます。プロジェクトは Go 1.26、npm、C コンパイラーの構築（`./manage.sh build`）を必要とし、AGPLv3 ライセンスの下で公開されています。Hister を使用するには、`./hister.exe listen`（Windows）または Linux/macOS における同等のコマンドを実行してローカルサーバーを開始し、ターミナルを開いたまま `http://127.0.0.1:4433` でインターフェースにアクセスします。Firefox または Chrome の拡張機能を通じてブラウザと統合して訪問したページを自動的に保存でき、Web インターフェース、TUI、コマンドライン、MCP を介した AI アシスタントを含む代替クライアントもサポートしています。高度な検索機能には、フィールドフィルタ、フレーズ、ワイルドカード、否定、エイリアス、結果の優先順位、および履歴またはディレクトリ用のインポートオプションが含まれ、設定された埋め込みエンドポイントによるオプショナルな意味検索も提供します。共有サーバー上での多ユーザー構成をサポートし、厳格なローカルデータ主権を遵守しています。開発者はビルド指示を `asciimoo/hister` リポジトリで確認でき、コミュニティサポートは Discord、IRCNet（`#hister`）、バグ報告用の GitHub issues、および `CONTRIBUTING.md` と `SECURITY.md` ドキュメントを通じて利用可能です。