Hacker News日本語ダイジェスト 2026年7月22日 — テレンス・タオとChatGPT、単一HTMLスライド、Postgresサバイバル術

2026年7月22日のHacker News上位から、テレンス・タオとChatGPTの数学対話、単一HTMLで動くプレゼンツールBento、コラムニストのジョン・シー・ドヴォラック氏の訃報、Postgres運用ガイド、トークン化を高速化したGigaTokenを深掘り。6位以下はAI法務、セキュリティ、ハードウェアなどをカテゴリ別に紹介します。 今日取り上げた記事: テレンス・タオのヤコビアン予想反例をめぐるChatGPT対話 (Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample)記事 / Hacker News のコメント Bento — 一つのHTMLファイルに収めたPowerPoint (Show HN: Bento - An entire PowerPoint in one HTML file)記事 / Hacker News のコメント ジョン・シー・ドヴォラック氏 逝去 (John C. Dvorak has died)記事 / Hacker News のコメント スタートアップのためのPostgresサバイバルガイド (The startup's Postgres survival guide)記事 / Hacker News のコメント GigaToken — 言語モデルのトークン化を約千倍高速化 (GigaToken: ~1000x faster Language model tokenization)記事 / Hacker News のコメント インテル、ハイエヌエーEUVシリコンの出荷を開始 (Intel Starts Shipping High-NA EUV Silicon)記事 / Hacker News のコメント 裁判所がAnthropicの15億ドル和解を承認、海賊版書籍でClaudeを学習 (Judge approves $1.5B Anthropic settlement for pirated books used to train Claude)記事 / Hacker News のコメント LG、スマートテレビアプリから住宅用プロキシを排除へ (LG to ban residential proxies from smart TV apps)記事 / Hacker News のコメント みんなSIMDを知るべきだ (Everyone should know SIMD)記事 / Hacker News のコメント パスキーは消費者心理を理解しない技術者が作った (Passkeys were invented by engineers with zero understanding of consumer brain)記事 / Hacker News のコメント テイクホーム課題を調べたら丸ごと不正な仕掛けだった (I Inspected My Take-Home Interview Project. It Was a Whole Operation)記事 / Hacker News のコメント 「MoonshotがK3開発のためFableを蒸留したという情報がある」 ("We have information that Moonshot distilled Fable for the development of K3")記事 / Hacker News のコメント この日の Hacker News front page