HN デイリー | 2026年7月10日

今日のテクノロジー業界は、オープンソースハードウェアのブレークスルー、AIトレードシークレットをめぐる法的闘争、そして修理する権利運動における大きな勝利が混ざり合って賑わっています。また、印象的なAIモデルのリリース、一人の開発者による見事な列車シミュレーター、そしてiPhoneを子供向けのシンプルな電話に変える巧妙な方法も見られます。さっそく見ていきましょう。

AI & 機械学習

GPT-5.6 Sol UltraがCycle Double Cover予想の証明を生成 — OpenAIの最新フラッグシップモデルSolが、長年の数学的予想に対する証明を生成したと報告されています。PDFはほとんどが生のLaTeXですが、その意味は驚くべきものです：AIが今や独自の数学研究を行えるようになったのです。
GPT-5.6 — OpenAIがGPT-5.6ファミリーを発表。Sol（フラッグシップ）、Terra（バランス型）、Luna（コスト効率型）を特徴としています。Solはコーディングとエージェントベンチマークで新たな最先端の結果を達成し、多くの場合、競合他社を低コストで上回り、複数のエージェントを調整して複雑なタスクを実行する「ウルトラ」モードを導入しています。
Show HN: 遅いコンピュータでGLM 5.2を動かす — 一人の開発者が、744Bパラメータの巨大なGLM 5.2モデルを32GBのラップトップで、ディスクからエキスパートをストリーミングすることで動作させました。このプロジェクト「Colibrì」は創意工夫の証であり、巨大なMoEモデルが控えめなハードウェアでも実行可能であることを証明しています。
AI 2040: プランA — 人類が意図的に超知能を2040年まで遅らせ、AI研究を公開し、「相互確証計算破壊」の体制を構築するという詳細な推測シナリオ。現在のAI開発競争に対する示唆に富む対案です。

オープンソース & ハードウェア

QuadRFはドローンを発見し、壁越しにWiFiを見ることができる — Jeff Geerlingが、Raspberry Pi 5をベースにしたオープンソースのフェーズドアレイ無線をテスト。拡張現実でWiFi信号を可視化し、ドローンを追跡できます。価格は499ドル。アクセス可能なRFハッキングの未来を垣間見せてくれます。
Rustで書き直されたPostgres、Postgres回帰テストの100%を通過 — pgrustは、PostgreSQL 18.3をRustでゼロから実装したもので、46,000以上の回帰テストに合格しています。実際のPostgresとディスク互換性があり、Rustの安全性保証によりデータベースの修正を容易にすることを目指しています。
Meta、カスタムブリッジチップで新しいサーバーに古いRAMを再利用 — Metaは、Vistaraと呼ばれるカスタムCXLチップを開発し、新しいサーバーで古くて遅いRAMを再利用できるようにしました。RAMは他のサーバーコンポーネントの2倍長持ちするため、これは高価な新しいメモリを節約する賢い方法です。
女の子はただ、待機時間が制限された高速MPMCキューを欲しいだけ — チケットロックとアトミック操作を使用した、高速で制限付きのマルチプロデューサー/マルチコンシューマーキューを構築するための深掘り。著者は、ロックフリープログラミングにおける理論と実践の違いについて、さわやかなほど正直です。

ツール & ソフトウェア

良いツールは見えない — 最高のツールは背景に消えるという、示唆に富むエッセイ。著者は、ツールの欠点をパズルとして称賛する「ハッカーの雰囲気」に反論し、生産性を感じることと実際に生産的であることは同じではないと私たちに思い出させます。
7年間の本番運用を経て、ScarfはHaskellから離れることを余儀なくされた — Haskell Foundationの理事が、自社がHaskellを離れる理由を説明：AI支援コーディングにより、長いコンパイル時間がボトルネックになっているからです。複数のエージェントを並行して立ち上げたい場合、15分のコールドビルドは耐え難いものになります。
人間がメンテナンスするかのようにコードを書け — LLMにずさんなコードを書かせることへの警告の物語。マージするすべてのショートカットがモデルへのシグナルとなり、すぐにコードベース全体が重複ロジックの混乱に陥ります。アドバイス：人間（または将来のAI）がメンテナンスしなければならないかのようにコードを書きなさい。
Mitchell Hashimotoへのインタビュー：GhosttyとZigについて — VagrantとTerraformの作成者が、新しいターミナルエミュレータGhostty、Zigを選んだ理由、そしてターミナルアプリケーションに対する彼の哲学について語ります。彼は、ターミナルは構成可能でスクリプト可能なツールのための特別な場所であるべきであり、完全なアプリケーションプラットフォームではないと主張します。

ビジネス & スタートアップ

AppleがOpenAIを提訴、元従業員が営業秘密を盗んだと非難 — AppleがOpenAIに対して訴訟を提起し、元従業員がAppleのAI研究に関する機密情報を持ち出したと主張しています。この訴訟は、AI業界における人材の流動性に大きな影響を与える可能性があります。
ニューヨーク市、欺瞞的なサブスクリプション慣行を禁止へ — ニューヨーク市は、「ジャンクフィー」や解約が難しいサブスクリプションを取り締まります。簡単な解約方法を提供しない企業は、ユーザー1人あたり525ドルの罰金に直面する可能性があります。この規則は、アパート賃貸やホテルにおける隠れた料金も対象としています。
SpaceX、100倍の帯域幅を実現するためにさらに10万基のStarlink衛星を打ち上げたい — SpaceXは、マルチギガビット速度を約束する第3世代Starlink衛星10万基の打ち上げ許可をFCCに申請しました。この巨大なコンステレーションは、展開にStarshipを必要とし、「数十億のAI搭載デバイス」にサービスを提供する可能性があります。
John Deereの所有者は、FTC和解の下で機器を修理する権利を得る — 修理する権利運動にとって大きな勝利：John Deereは現在、農家や独立系修理店に診断および修理ツールを提供しなければなりません。この和解は集団訴訟に続くもので、Deereは5つの州に100万ドルを支払うことが求められています。

科学 & 研究

後期青銅器時代の崩壊 — 歴史上最も劇的な「文明の終焉」の出来事の一つである後期青銅器時代の崩壊についての魅力的な概要。この記事では、何が起こったのか、不確かな原因、そして長期的な影響について、考古学的証拠に基づいて探求しています。

ゲーム & エンターテイメント

たった一人で作られた列車シミュレーターが、これまでで最高のものと呼ばれている — 一人で開発された日本の列車シミュレーター「Running Train」が、その超現実的な環境で絶賛されています。細部へのこだわりは驚くべきものです：送電線は変電所に接続されており、運転台からでも、愛情を込めて作られた世界のほとんどを見逃してしまうでしょう。

プライバシー & セキュリティ

EU議会、チャットコントロール1.0を承認 — 欧州議会は、過半数のMEPが反対票を投じたにもかかわらず、プライベート通信の大量スキャンを承認しました。この措置により、米国のテクノロジー企業は2028年まで令状なしでプライベートメッセージをスキャンできるようになりますが、エンドツーエンドで暗号化されたチャットは除外されたままです。

モバイル & デバイス

埋もれたAppleの機能がiPhoneを完璧な子供向けシンプル電話に変える — 認知障害向けに設計されたAppleのAssistive Access機能は、実際にはiPhoneを子供向けのシンプルな電話に変える完璧な方法です。ブラウザを完全にブロックしながら、マップと通話を維持することができ、すべてシンプルなタイルベースのインターフェースで行えます。

以上が今日の内容です。オープンソースのRFハッキングからAIによる数学的予想の証明まで、イノベーションのペースとその制御をめぐる戦いが加速していることは明らかです。また明日お会いしましょう。