**FreeBSDを好きな理由**

* **安定性と信頼性** –  FreeBSD のカーネルは長年にわたりテストされており、長時間の稼働でも一貫したパフォーマンスを提供します。

* **堅牢なパッケージシステム(pkg)** –  簡単なインストール・アップグレードと依存関係解決が可能で、成熟したソフトウェアのリポジトリも充実しています。

* **高度なネットワーキングスタック** –  ジャイルや PF ファイアウォール、最新プロトコルへの強力サポートなど、サーバーやネットワーク機器に最適です。

* **明確なドキュメントとコミュニティ** –  ハンドブックは網羅的で、フォーラムでは迅速なヘルプと貴重な洞察が得られます。

* **パフォーマンス最適化** –  カーネルトゥーナブルや効率的な I/O パス、軽量プロセスにより、多くのワークロードで顕著な速度向上を実現します。

* **オープンソースの自由** –  BSD ライセンスは許諾型で、コピーレフト制限なしに変更・再配布が可能です。

* **セキュリティ志向設計** –  定期的なセキュリティアップデート、強固なデフォルト設定、SELinux や AppArmor のようなツールでシステムをハードニングできる点が魅力です。

---

これらの長所が結びつき、FreeBSD は開発者・システム管理者・ホビイストにとって非常に魅力的な選択肢となります。

2026/03/16 20:23

**FreeBSDを好きな理由** * **安定性と信頼性** –  FreeBSD のカーネルは長年にわたりテストされており、長時間の稼働でも一貫したパフォーマンスを提供します。 * **堅牢なパッケージシステム(pkg)** –  簡単なインストール・アップグレードと依存関係解決が可能で、成熟したソフトウェアのリポジトリも充実しています。 * **高度なネットワーキングスタック** –  ジャイルや PF ファイアウォール、最新プロトコルへの強力サポートなど、サーバーやネットワーク機器に最適です。 * **明確なドキュメントとコミュニティ** –  ハンドブックは網羅的で、フォーラムでは迅速なヘルプと貴重な洞察が得られます。 * **パフォーマンス最適化** –  カーネルトゥーナブルや効率的な I/O パス、軽量プロセスにより、多くのワークロードで顕著な速度向上を実現します。 * **オープンソースの自由** –  BSD ライセンスは許諾型で、コピーレフト制限なしに変更・再配布が可能です。 * **セキュリティ志向設計** –  定期的なセキュリティアップデート、強固なデフォルト設定、SELinux や AppArmor のようなツールでシステムをハードニングできる点が魅力です。 --- これらの長所が結びつき、FreeBSD は開発者・システム管理者・ホビイストにとって非常に魅力的な選択肢となります。

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

要約

Japanese Translation:

**

著者は2002年に初めてFreeBSDハンドブックを目にし、分散したLinuxマニュアルでは不足していた包括的で正確な文書化がFreeBSDの大きな強みだと称賛しています。彼はSony Vaioノートパソコンにインストールし、FreeBSDがLinuxよりも安定して動作し、性能も優れていることを指摘しました:過熱せず、KDEのコンパイルもスムーズ(著者はファン音を「時計」としてビルド時間を測るなど)、主要なアップデート中にクラッシュが起きない。

過去20年間でFreeBSDはサーバー用として信頼性を保ち続けており、メジャーリリースのアップグレード時にはわずかな調整(例:ネットワークインターフェイス名の変更なし)だけが必要でした。強調されるコア機能は、ブート環境付きのネイティブZFS、単一のfstab変更で有効になるUFS読み取り専用モード、bhyveハイパーバイザーサポート、および2000年から存在する長期にわたるジャイル(強力な隔離を提供)。

著者はFreeBSDコミュニティの情熱・好奇心・熟練度、そして他のオープンソースプロジェクトと比べて低い商業性を賞賛しています。Netflixなどの企業がFreeBSDに依存し、開発者は支援的だが主導権を握らないFoundationによって資金提供され、「The Power to Serve」に焦点を当てることでユーザーエンゲージメントを奨励しています。

要約すると、FreeBSDは堅牢な文書化と実践的な工芸技術を備えた安定したプラットフォームを提供し、トレンド追随よりもサービス提供を優先するコミュニティによって支えられています。これが著者の情熱を維持させ、彼のクライアントサーバーをスムーズに稼働させ続ける要因です。

本文

2002 年に初めてフリーBSDハンドブックを目にしたとき、私はその内容を信じることができませんでした。Linux を 6 年間使ってきた経験(さまざまなディストリビューションで書いた記事の中でも)では、ドキュメントは断片的で不完全だったり、古くなったり、一年も経てば既に時代遅れになることが多いと知っていました。そんな中、フリーBSD は「完全で正確、できる限り最新の詳細マニュアル」を提供しているオペレーティング・システムでした。私はすでにオープンソースを信じていたものの、実用的な観点から考えました:この OS の背後にあるチームがドキュメントにこんなにも手間を掛けるなら、システム自体も十分に堅牢であるはず。そこで試してみることにしました。

Sony Vaio にはデュアルブートの余裕がなく、空き容量の多いデスクトップへすべて同期させ、深呼吸をしたうえで決断。フリーBSD をそのノートパソコンにインストールし、実験が終わったら Linux を再インストールする予定でした。結局、フリーBSD はそのマシンから離れたことはありませんでした。当時は、この実験が今後 20 年間のシステム設計・運用にどんな影響を与えるか想像もできませんでした。

すぐに気づいたのは、GNU/Linux とフリーBSD は非常に似ている一方で全く別物だということです。インスピレーションとなった Unix の精神は同じですが、動作はまったく異なります。そして印象的だったのは、フリーBSD が「成熟していて」混沌が少なく、焦点が明確に定められているように見えたことです。まるで壮大な大聖堂のようでした―当時私が関わっていたコミュニティでは広く批判されていた形ですが、確かに無視できない長所があります。当時私はすべてをソースからコンパイルし、ハードウェア上で Linux がこれまで経験したことのないほど性能が良いと直感的に感じました。Linux は熱くなり、予測不能な結果(エラーや突然のシャットダウン、ファンが鳴り止まない)を出し続けていました。友人たちは「ハードウェア問題」と言い続けましたが、フリーBSD は負荷をはるかに優雅に処理しました。コンパイル中でも mutt でメールを読むことができ、Linux のように遅延してしまうことはほとんどありませんでした。ファンは負荷終了後数秒で停止し、システムは本当に応答性が高く感じられました。クラッシュした経験は一度もありません。

当時私は KDE を全てのマシンで使用していましたが、フリーBSD 上での体験は顕著に優れており――より一貫性と安定性を備え、Linux で受け入れざるを得なかったミクロフリーズもなく、総合的に見てより堅牢でした。唯一の欠点は、すべてをコンパイルする必要があったことです。私は大学生でノートパソコンを別室に置く余裕がなく、同居人との「事故」のリスクも現実味があるため、常に手元に置いていました。夜ごとにファンは回転し、KDE とそのアプリケーションをコンパイルしていました。途中で Kde のビルド時間を測定し、それを時計として使い始めました:ファンが動き続けている間は午前 4 時以前、静止したらそれ以降です。

ハンドブックは私に多くのことを教えてくれました――大学で学んだ内容よりも豊富で、フリーBSD 固有の情報だけでなく、一般的な知識も含まれていました。正しいアプローチを示してくれたのです:まず理解し、その後行動する。読むほどにプリントアウトしたいという欲求が増し、私は親に「大学の作業用にレーザープリンタが必要だ」と説得しました。そして最初に印刷したのはハンドブックでした。今日でもそのハンドブックには有用な情報が残っています。過去 24 年で大きく変わった点もありますが、基盤は同じです。多くのツールは以前と全く同じように動作し、機能追加があっても基本的な原則は変わりません――進化ではなく革命ではないのです。そして長期にわたる構築物を作るなら、この哲学こそが正しいと言えるでしょう。変化は良いものです。イノベーションも同様です。

自分のマシンで何度も壊して再構築しています。しかし、プロダクション環境では安定性と予測可能性が最優先です――それこそが今日でも私がすべての BSD で重視する点です。数年にわたりフリーBSD は主力デスクトップとしては退場しました――Mac に移行したことやサポートされないハードウェアが原因ですが、サーバーや真剣なワークロードには常に第一選択肢でした。よく言うのですが、私はワークステーションを一台しか持たず、それで数百台のサーバーにアクセスしています。ワークステーションを交換する方が簡単です――数時間で再構成できます。一方で、本番サーバーが故障し、クライアントが不安になり、運用が停止するケースは避けられません。

フリーBSD は自らのためにイノベーションを追い求めることも、熱狂を追いかけてコア目的を犠牲にすることもありません。モットーは「The Power to Serve」――効果的・効率的・安全にサービスを提供することです。これが私にとってフリーBSD の本質です。数十年にわたり驚きのない安定性、2009 年のサーバーを大幅な変更なしでアップデートできる点、再起動やアップグレード後もネットワークインターフェースがリネームされないこと、ジャイル(2000 年から存在)による本格的かつ安全なコンテナ化機能などが好きです。ZFS はネイティブで、ブート環境を簡単に切り替えられます。UFS を使う場合は fstab の一文字変更だけで全ファイルシステムを読み取り専用にできます。また bhyve は軽量で信頼性の高いハイパーバイザーです。性能、機能、すべてが私にとって貴重です。

さらに私はフリーBSD のコミュニティを愛しています。BSD 全体としては情熱、好奇心、専門知識によって駆動される人々が集まっています。過去 20 年間のテック業界では、技術に興味があるように見えて実際にはすぐに金銭化しようとする人が多いですが、BSD コミュニティではそれは稀です。会議で開発者と直接会い、その精神・スキル・情熱を知ることができました。ボランティアとして貢献しているだけの人もいますし、ファウンデーションに資金提供されている人もいます。そして Netflix などフリーBSD を重用する企業から来たエンジニアも同じ品質を持っています――熱意と関与。これは私が BSD 会議に参加するたびにプロジェクトへの愛着が増す理由です。コミュニティの雰囲気、開発者の献身、ファウンデーションが強く有効でありながら支配的でも自尊心過剰でもない姿勢は、他の主要オープンソースプロジェクトと比べても際立っています。

20 年以上プロジェクトに関わる顔たちは、仲間を見つけて仕事について語り合うときに輝きを放ちます。そのポジティブさは伝染し、コードやビジョンへ直結します。フリーBSD は人が作った、人のためのオペレーティングシステムであり、サービスと有用性を提供することを目的として、一貫性・ドキュメント化・実務主義・熟練技術に優れています。他の多くのプロジェクト、特に主流 Linux ディストリビューションにはない点です。

ファウンデーションは一般ユーザーからの声を聞きたいと考えています。フリーBSD への関与を促進する活動を積極的に行い、大手企業が依存性を作り出すためではなく、プロジェクト自体を信じているためです。だからこそ、長年にわたり情熱を保ち続けること、プロジェクトを稼働させること、クライアントのサーバーを稼働させ、データを安全に保つことができたのはフリーBSD のおかげです。トレンドに流されず、正しく物事を行うことに集中してくれました。すべての素晴らしい人々―BSD コミュニティ全体から—あなた方が私の人生に入ってきたことに感謝します:仲間ではなく友人であり、本当の人々、真摯な親切さ。

そして何よりも、そのプロジェクトを継続的に信じる人々―長年にわたり本当に信じている――が成功し続けるとき、それはコード・人・コミュニティに実体があることを示します。フリーBSD は「最高で偉大」であろうとは望んでいません。サービスするための力、The Power to Serve を求めています。

同じ日のほかのニュース

一覧に戻る →

2026/03/17 5:59

MistralがLeanstralをリリース --- (※「Leanstral」はそのまま固有名詞として扱います。)

## Japanese Translation: --- ## Summary Leanstral は **Lean 4 専用に設計された最初のオープンソースコードエージェント** であり、Apache 2.0 ライセンスの下でリリースされ、重みファイルをダウンロードできるほか、一時的な無料 API エンドポイント(`labs-leanstral-2603`)と公開された技術レポートがあります。 このモデルは **証明工学タスクに最適化された非常にスパースな 6 B‑パラメータアーキテクチャ** を採用し、Lean を完璧な検証器として活用した並列推論を実現しています。モデルは **lean‑lsp‑mcp データセット** 上で訓練されており、Mistral Vibe 経由で任意の Model‑Composed Pipelines(MCP)をサポートします。 **FLTEval** で評価すると—FLT プロジェクトにおける形式的証明の完了と新概念の定義をベンチマークし、単独の数学問題ではなく実際のタスクを測定する—Leanstral‑120B‑A6B は **pass@2 スコア 26.3 と pass@4 スコア 29.3** を達成し、GLM5‑744B‑A40B(≈16–20)や Kimi‑K2.5‑1T‑32B よりも優れた性能を示しています。Claude 系列モデルと比較すると、Leanstral は **$36 で pass@2 スコア 26.3** を達成し、Sonnet の $549(スコア 23.7)に対して同等の性能です。また **pass@16 スコア 31.9 が $531** で得られ、Sonnet の $8,031.9 と比較しても大幅に低価格です。Claude Opus 4.6 モデルは依然として最高品質ですが、$1,650 という価格は Leanstral の同等スコア時の費用の約 90 倍以上になります。 実際のケーススタディでは、その実用性が示されています: * Lean 4.29.0‑rc6 の破壊的変更を診断し、`def` と `abbrev` 間の定義等価性問題を特定して正しい修正案を提示し、ユーザーに説明しました。 * Princeton の CS 441 コースから Rocq 定義を Lean に変換し、カスタム記法を扱い、証明が提供されていないプロパティも自動で証明しました。 Leanstral は **Mistral Vibe** に統合されており、ユーザーは `/leanstall` エンドポイントを呼び出してゼロセットアップのコーディングと証明を行えます。一時的な API エンドポイント(`labs-leanstral-2603`)はフィードバックと観測データ収集のために利用可能です。ユーザーはモデル重みをダウンロードし、Leanstral をローカルで実行したり、Mistral Vibe にサインアップして完全なドキュメントへアクセスすることもできます。 この軽量かつコスト効果の高いツールは、開発者や研究者が形式的検証ワークフローを加速させるために活用でき、コミュニティへの貢献と学術界および産業界での広範な採用を促進します。

2026/03/17 3:12

Meta、jemallocへの再挑戦を強化

## Japanese Translation: ``` ## Summary Meta は、Linux カーネルや Meta のインフラストラクチャ内のコンパイラなど重要なコンポーネントを動かす高性能メモリアロケータである jemalloc に注力することを決定しました。この移行は長期的なメリットに基づいており、保守コストの削減、コードベースの近代化、および進捗を遅らせていた技術的負債の排除が目的です。今回の取り組みの一環として、オリジナルのオープンソース jemalloc リポジトリはアーカイブから外されました。 主な改善領域は以下の通りです: - **技術的負債削減** – 効率と信頼性を向上させるためにクリーンアップとリファクタリングを実施。 - **Huge‑Page Allocator (HPA)** – CPU の効率化を図るためにトランスペアレントヒュージページ(THP)の使用を改善。 - **メモリ効率** – パッキング、キャッシュ、およびパージング機構の最適化。 - **AArch64 最適化** – ARM64 プラットフォームでのアウト・オブ・ザ・ボックス性能を確保。 Meta はオープンソースコミュニティに貢献を呼びかけ、jemalloc の将来ロードマップを共に形作ることによって、Meta 自身のソフトウェアユーザーとこのアロケータに依存する広範なエコシステム双方に利益をもたらすよう促しています。 ```

2026/03/17 2:17

小さなWebは、あなたが考えているよりもずっと大きいものです。

## 日本語訳: **概要** 本文は、**「小さなウェブ」― 通常のブラウザとサーバーでアクセスできる非営利・個人向けサイトが依然として膨大かつ活発だが、1 ページだけでまとめるにはあまりにも大きい」という事実を説明しています。** - **背景**:Gemini プロトコルは世界中に約 6,000 のカプセル(capsule)という独自のエコシステムを持ち、そのフォーラムには主に IT 専門家で構成される約 100 名が参加し、商業的利用は推奨していません。 - **手法**:著者は Kagi が公開する更新フィードを配信しているサイトのリストを使用しました。このリストは昨年の約 6,000 件から今日では約 32,000 件に増加し、多くはプライベートブログや企業がホストするサイト(例:Blogger)です。 - **フィルタリングプロセス** 1. 各フィードをダウンロードし、タイムスタンプと有効な XML があることを確認した結果、約 25,000 サイトに絞られました。 2. 月間更新が 1 回未満のサイトを除外すると、約 9,000 のアクティブサイトが残ります。 - **結果**:3 月 15 日時点でこれら 9,000 サイトは 1,251 件の更新(主に新しいコンテンツ追加)を生成し、過去の日付とほぼ同程度です。毎日の更新量を見ると、単一ページの集約は非実用的であり、小さなウェブはその規模と活発さからそのような表示には不向きです。 - **結論**:サイズが大きいにも関わらず、小さなウェブは成長を続け、主流プラットフォームに対する広告なしの代替手段として機能します。 - **行動喚起**:著者は読者に対し、このページへの参照 URL を含む Webmention を送信してもらい、継続的な関与を促しています。

**FreeBSDを好きな理由** * **安定性と信頼性** –  FreeBSD のカーネルは長年にわたりテストされており、長時間の稼働でも一貫したパフォーマンスを提供します。 * **堅牢なパッケージシステム(pkg)** –  簡単なインストール・アップグレードと依存関係解決が可能で、成熟したソフトウェアのリポジトリも充実しています。 * **高度なネットワーキングスタック** –  ジャイルや PF ファイアウォール、最新プロトコルへの強力サポートなど、サーバーやネットワーク機器に最適です。 * **明確なドキュメントとコミュニティ** –  ハンドブックは網羅的で、フォーラムでは迅速なヘルプと貴重な洞察が得られます。 * **パフォーマンス最適化** –  カーネルトゥーナブルや効率的な I/O パス、軽量プロセスにより、多くのワークロードで顕著な速度向上を実現します。 * **オープンソースの自由** –  BSD ライセンスは許諾型で、コピーレフト制限なしに変更・再配布が可能です。 * **セキュリティ志向設計** –  定期的なセキュリティアップデート、強固なデフォルト設定、SELinux や AppArmor のようなツールでシステムをハードニングできる点が魅力です。 --- これらの長所が結びつき、FreeBSD は開発者・システム管理者・ホビイストにとって非常に魅力的な選択肢となります。 | そっか~ニュース