2026/10/23 11:19

私が信じるもの

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

要約▶

Japanese Translation:

著者は人間性を楽観的に捉え、誠実さ、慈善心、そして勤勉さが職業も歴史もまたしく見られる普遍的特徴であると主張する。この肯定的な立場は宗教的な議論を明示的に排除しており、著者は「宗教的信念については触れない」と述べている。このような持続した誠実さを証明するために、文本はマイケル神父という近所の人や、野良猫への無償の善意を示した獣医ドックといった鮮明な例を引用している。また、必要としている誰もが自由に食料を受け取れる町や、一般的な警告にもかかわらずハイチャイカー（乗り合い乗客）を引き取る行為が当然の事柄として挙げられることも記されている。誠実さについてのさらなる証拠として、インディペンデンス・ホールでの歴史的な達成やグランド・クーリー・ダムに関するものであり、「犯罪者に対して 10,000人の誠実な男性がいる」という統計的な主張で裏付けられている。政治に関しては、著者は独立した 13 植民地以降の移行期から以来、ほぼすべての政治家が誠実であったと信じている。この自信は「人類全体」に及び、黄色人種、白人、黒人、赤人、そして褐色人種を含む。結局のところ、この見方は我々の種の存続にとって希望のある展望を提供しており、我々内在の善さにより地球の寿命を超えて長く存続し、最終的に宇宙へと拡張するという見解を示唆している。

本文

ロバート・A・ハイナインの信念：宗教を越えた人への信頼

はじめに

著者は、宗教的信念については言及しません。むしろ、あまりにも明白であり、今では時代遅れと見なされる事柄についてお話しします。

身近な人々への信頼

ミハエル神父（マイク神父）

著者の信仰とは異なりますが、優しさ、慈愛、憐れみが彼の行動から輝いています。
ドックと称して信頼しています。もし困難に陥ったら、まず彼を訪ねると言います。

隣家の獣医師（ドック）

一日の終わりに疲れ果てても、迷子になった猫を手伝うために床から起き上がります。
対価はありませんし、見込まれる可能性もありません。
この行動に対して著者は**「ドックを信じている」**と明言します。

町民・市民への信頼

自助・共助の精神

町のどの家の門を叩いても「お腹が空きました」と言えば、必ず食事を振っていただけます。
この町は例外ではありません。あちこちでこうしたすぐれた親切さを見つけられます。
「いっそお前には放り出そう」という人々が一人いるとしても、それに対抗して「もちろんだよ、お兄ちゃん、座りなさい」と答える人は数百人、あるいは千人もいます。

拾得者への対応

拾得者を批判する警報にもかかわらず、高速道路で手拍子をして乗車を頼めば、数分以内に車が止まります。
「乗り込んできろマック、どこまで行くんだ？」という声が待っています。

市民同胞（Citizenry）

頭条には犯罪が氾濫しているように見えても、犯罪者一人に対して、正直で誠実かつ親切な男性は 1 万人も存在します。
もしそうではなかったら、子供たちが成長する年齢に達することもなく、商売も一日ずつ続かないでしょう。
誠実さこそニュースになるべきではありません。それは訃報欄に埋もれていますが、犯罪よりも強力な力です。
以下の人々についても信頼しています：
- 看護師たちの忍耐強い勇気
- 教師たちの退屈さを伴う犠牲
- 静かに繰り広げられる家庭内での絶望的な逆境との闘い

職人・政治家・人類全体への信頼

職人の誠実な仕事

すべての作業をチェックする監督者はかつて不足していました。
インデペンデンス・ホールからグランドクーリーダムに至るまで、骨の芯から正直な職人たちが、水平で正確に建造物を作りました。

政治家への信頼

ほぼすべての政治家も誠実だと著者は信じます。
数百人の政治家が、感謝や栄光を望まず、報酬を受け取るか受け取らないかを問わず、体制を機能させるためにベストを尽くしています。
もしこれが真実でなかったら、私たちが13 の植民地を超えていくことは決してできなかったでしょう。

人類全体への信頼

黄色い肌、白い肌、黒い肌、赤い肌、茶色の肌。この地球上のいたる所に住む兄弟姉妹の大過半数についてです。
彼らが持つ誠実さ、勇気、知性、耐性、そして善良さについて信頼しています。
著者は人間であることに誇りを覚えます。

結論：「歯茎一枚の僅差」への確信

私たちが今ほどまで来たのは、**「歯茎一枚の僅差」**だったと信じています。
これからも同様に乗り切っていきます。
生き残る。耐える。
この毛のない胎児が持つ痛々しく過大なお脳のケースや、対抗可能な指を持つか、猿からわずかなばかりに上昇した動物も、必ず耐え抜くと著者は信じています。
彼らは生みの母星よりも長い期間を生き残り、自らの誠実さや絶えず満たされない好奇心、無限の勇気、そして高貴な本質的な誠実さを携えて宇宙へと広がっていくでしょう。

これが私の信念です。

――ロバート・A・ハイナイン

同じ日のほかのニュース

一覧に戻る →

2026/10/23 8:45

Docker は変だ

## Japanese Translation: 本文は、主に Linux コンテナが特定のコア機能を利用して孤立化されたプロセスであり、仮想マシンとは異なること、また Docker がイメージをフォルダとして管理することを明確にしています。完全な仮想化と異なり、コンテナは隔離にはネームスペースを用い、リソース管理には cgroups を用いて、管理されたディレクトリ内でバイナリを直接実行します。重要な技術的詳細として、Go で記述される `runc` ランタイムがあり、これは初期システムコールの処理に C モジュールを使用して Linux カーネルとインターフェースする必要があります。Go は `fork` などの特定の機能へのネイティブサポートを持っていないため、不足している振る舞いを近似させるために `/proc/self/exe` などのワークアラウンドが必要です。さらに、標準的な Linux カーネル API は通常ルートの権限を必要とするため、Docker デモンはデフォルトで昇権限（elevated permissions）で動作します。これを解決するためには、ルートレスコンテナランタイムは、通常ルートベースのセットアップが提供する機能を複製するために、ユーザースペースのネットワーキングスタックを再構築する必要があります。結局のところ、これらのアーキテクチャ的な制約を理解することは、安全なルートレス環境を管理するユーザーにとって不可欠であり、不要な権限昇格を避けながらシステム安定性を維持する互換性のあるインフラを設計する企業にとっても重要です。

2026/10/23 7:54

LLM が大規模な正式なソフトウェア検証の実現を可能にしています

## Japanese Translation: 研究者は、大規模言語モデル（LLM）の Claude を用いて、100 以上のオープンソースソフトウェアライブラリに対して前例のない規模での形式的検証を実行し、歴史的なマイルストーンを達成しました。Theorem との協力により、プロダクション向けソフトウェアに対する初の大規模 AI 主導の形式的検証として、アセンブリ（RISC-V）レベルで実装されたコードが検証されました。その結果、64 MB 未満の入力に対して、123 のライブラリの実行可能アーティファクトがメモリ安全性エラーやフェイルするアサートなしに正常終了することが証明されました。この達成には、Claude が Rocq コードを約 1.8 億行生成し、239 のエントリポイントを対象にクラッシュしない仕様を証明するとともに、従来のフォージングで検出されなかった深刻なバグを特定・修正する作業が行われたことが寄与しました。具体的には、カウンタのアンダーフローや境界外読み取りといった複雑な問題を含むものが含まれます。検証の対象は Linux でコンパイルされた RISC-V 命令であり、ユーザーが信頼しなくてもよいのは既知のハードウェア/ソフトウェアの数学モデル、定理ステートメント自体、および Rocq の証明チェッカーのみです。基本的安全性を超えて、このアプローチはデータ圧縮の精度やアルゴリズムの正しさ（例：red-black トリーの再平衡）といった高位のプロパティも検証しました。チームは共有作業空間戦略を採用し、証明の再利用によりトークン使用量を 17%削減するものであり、Mathlib のような数学ライブラリの成長に類似しています。形式的に検証済みであっても、形式仕様が実態と異なったり機械モデルが現実と異なる場合（例：x86/ARM システム上）には、完全なバグの不在を保証しないことに留意する必要があります。本プロジェクトでは公衆の検討のために一部の証明をリリースしており、AI 支援による検証をソフトウェア開発ワークフローでの標準へと導く道筋を用意しています。

2026/10/22 23:32

Quad9（DNS レゾルバー）がフランスから退出します

## Japanese 訳： 2026 年 11 月 24 日より、Quad9 はフランスのユーザーに対して、無料のサイバープロテクトおよび一般的なサービスを提供を永久に停止いたします。この決断は、beIN が提起した重大な訴訟において Quad9 に不利となるフランス裁判所の判断を受けたものです。beIN は、特定のドメイン名の再帰的 DNS 解決をブロックすることが、視聴覚的な権利を保護するために必要であると主張しました。裁判所は、違反が完了するまで（11 月 14 日）の金融ペナルティを約 580,000 �ーロから毎日上記 1,000 ユーロに減額しましたが、Quad9 は再帰的 DNS 解決が中立かつ受動的なサービスであり、応答を変更することはそのミッションであるプライバシー、セキュリティ、そしてインテグリティに違反するとする理由をもってこれに従うことができないと述べています。さらに、Quad9 の無料サービスには登録や身元証明は不要であり、ユーザーと管轄区域を関連付けるデータベースを持たないため、geoIP ベースの管轄区域マッピングは技術的に不可能です。フランス裁判所の要求を満たすためにグローバルなブロックを実施することは、French の法律を全世界のユーザーに適用することを意味し、Quad9 にとって許容されない越境的な先例となります。以前にも地理的な IP ブロックの実施を試みた際（例：2021 年から 2023 年にかけてドイツ）、原告が VPN を介してブロックを回避したために裁判所に対する軽蔑罪として罰金が科されるなどしました。Quad9 に対して数百のドメイン名のブロックを求めて進行中の訴訟が約 20 件あり、累積的な法的リスクは大きいです。上訴は進行中ですが、Quad9 は予定通り撤退を進めることにします。この動きにより、国家機関（例：DINUM, EDF, SNCF）、研究ネットワーク（RENATER）、大学、医療提供者、および民間企業を含む何百万人ものフランスのユーザーが、サイバー脅威からほぼ 9 年間も重要な保護を失うことになります。Quad9 は、将来、監督なしで民間企業が DNS コンテンツフィルタリングを自動化することを可能にする法律に対して警告を発し、市民に対し、日常のドメイン名lookup が刑事犯罪ではないことを明確化することを目指しています。