2026年10月23日 ご近所版WikipediaとiPhoneの攻略

2026年10月23日のHacker News話題まとめ。歩いて30分の範囲だけを見せるLocal Wikipedia、中国の最前線級モデルKimi K3.1 Pro、作者本人が降臨したDocker解説、AIによる形式検証、そしてiPhoneの攻略実演が上位に並びました。今週続くセキュリティの流れが今日も強く出た一日です。

今日取り上げた記事:

1. ご近所版Wikipedia 歩いて30分の範囲だけ(Local Wikipedia: Wikipedia, but only for things a half hour walk from you)
   記事 / Hacker News のコメント
2. Kimi K3.1 Pro と K3.1 Pro Highspeed(Kimi K3.1 Pro and K3.1 Pro Highspeed)
   記事 / Hacker News のコメント
3. Dockerは変だ(Docker is weird)
   記事 / Hacker News のコメント
4. LLMが形式検証を大規模に実用化しつつある(LLMs are making formal software verification feasible at a much larger scale)
   記事 / Hacker News のコメント
5. 狙い通りiPhoneを攻略した(Today, we hacked what we'd set out to hack: the iPhone)
   記事 / Hacker News のコメント
6. 自然言語プログラミングの愚かさ 1978年(The foolishness of "natural language programming" (1978))
   記事 / Hacker News のコメント
7. カナダ、監視法案C-22に反対する時間が尽きつつある(Canadians are running out of time to oppose Bill C-22)
   記事 / Hacker News のコメント
8. Ask HN モデルが優秀ならOpenAIはなぜ100社起こさないのか(Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?)
   Hacker News のコメント
9. Dessa 音声だけで学習した対話モデル(Dessa: Conversation Model trained only on speech)
   記事 / Hacker News のコメント
10. UUIDv7 タイムスタンプは時間順ではない、他の癖も(UUIDv7: Timestamps aren't time-ordered and other oddities)
    記事 / Hacker News のコメント
11. Googleがgmailと写真のデータを広告に使うかもしれないと(Now Google says it might use your Gmail and Google Photos data to target ads)
    記事 / Hacker News のコメント
12. Disneyが全プラン広告導入の数日後に値上げ(Disney Raising Prices Days After Confirming Ads Will Now Show Up on Every Tier)
    記事 / Hacker News のコメント
13. CVE Tracker
    記事 / Hacker News のコメント
14. これが新しいサイバーの当たり前なのか(Is this the new cyber normal?)
    記事 / Hacker News のコメント
15. スウェーデンの官庁がChatGPTとClaudeを禁止(Swedish government offices to ban ChatGPT and Claude)
    記事 / Hacker News のコメント

この日の Hacker News front page