HN 日々のまとめ

Hacker News の人気投稿やコメントを毎日日本語でダイジェスト

HN 日々のまとめを購読

あなたのメールアドレスはHN 日々のまとめへの登録のためだけに使われます。他と共有することはありません。

HN 日々のまとめ

2026年7月23日木曜日

やあ、相棒!今日のHacker Newsはかなり濃かったよ。

忙しいだろうから、今日のトップニュースをサクッとまとめたよ。AIの話題から懐かしいPCの話まで、盛りだくさんだったね。

1. テレンス・タオとChatGPTの数学対話
あの数学の天才、テレンス・タオがChatGPTとヤコビ予想の反例について議論したっていう投稿が一番盛り上がってたよ。みんな「数学の表記法って手書きにはいいけど、キーボード入力には向いてないよね」とか、「AIの使い方がうまい」って感心してた。数学の議論にLLMを使う時代が本格的に来てるね。

2. Bento: HTML1つで完結するプレゼンツール
これ、面白そうだよ。PowerPointの編集、表示、データ、共同編集まで全部1つのHTMLファイルで完結するんだって。クラウドのサブスクとかに疲れた層に刺さってるみたい。「AIにコードを書かせると無駄に複雑になるから、こういうシンプルなツールはいい」ってコメントもあって、みんな今のWebの肥大化に少し飽きてるのかも。

3. ジョン・C・ドヴォラックの訃報
これは悲しいニュースだね。PC界のレジェンド、ジョン・C・ドヴォラックが亡くなったんだ。90年代のPC雑誌やテック番組を見て育った世代にとっては、本当に大きな存在だったよね。「彼のおかげでPCが好きになった」っていうコメントがたくさんついてて、ちょっとしんみりしたよ。

4. 手書きは脳にいいのか?
ニール・スティーヴンスンの記事で、「手書きは脳にいい」っていう話。これに対しては賛否両論あったな。「手書きのほうが記憶に残る」っていう意見もあれば、「効率が悪すぎて講義に遅れる」っていう現実的な意見もあって、議論が割れてたのが面白かった。

5. AI企業の「隠れ負債」問題
AI企業がバランスシートの外に莫大な負債を隠してるんじゃないかっていう話。AIブームでみんな投資してるけど、実は足元が危ういんじゃないかっていう警告だね。みんな「AIの需要って本当に実体があるの?」って疑心暗鬼になってるみたい。

6. OpenAIとAnthropicが「オープンモデル」を警戒
この2社が手を組んで、オープンウェイト(オープンソースに近い)のAIがリスクになるって主張してるんだって。でもコメント欄では、「自分たちの利益を守りたいだけでしょ?」っていう冷ややかな視線が多かったね。技術の民主化と安全性のバランスは、やっぱり一番の争点だね。

7. ソフトウェアレンダリングを500行のC++で
最後に技術的なやつを。500行のC++だけでソフトウェアレンダリングを実装する記事。最近は全部GPU任せだけど、「基本に立ち返るのには最高だ」って盛り上がってた。たまにはこういう泥臭いコードをいじるのも楽しいよね。

他にも「SIMD(単一命令複数データ)をみんな知っておくべき」っていう話や、DARPAのAI制御F-16の話なんかもあって、今日はかなり刺激的な一日だったよ。また面白いネタがあったら共有するね!

本日の全てのストーリー

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (chatgpt.com)

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)

John C. Dvorak has died (twitter.com)

Writing by hand is good for your brain (nealstephenson.substack.com)

Are AI labs pelicanmaxxing? (dylancastillo.co)

Everyone should know SIMD (mitchellh.com)

GigaToken: ~1000x faster Language model tokenization (github.com)

AI Companies Are Trying to Hide a Staggering Amount of Debt (futurism.com)

I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)

Making (beej.us)

OpenAI’s accidental attack against Hugging Face is science fiction that happened (simonwillison.net)

Codeberg Bans Cryptocurrency Projects (codeberg.org)

Does creatine make you smarter? (dynomight.net)

OpenAI and Anthropic unite against open-weight AI risks to their bottom line (www.axios.com)

Alphabet's cash burn raises alarm for Big Tech as AI spending climbs (www.reuters.com)

Software rendering in 500 lines of bare C++ (haqr.eu)

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (www.orangecrumbs.com)

Astronomers may have found the first exomoon (www.eso.org)

Protecting our FLOSS commons from LLMs (blog.codeberg.org)

Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong (github.com)

Amiga 1000: Ten years ahead of its time (dfarq.homeip.net)

EU fines Google €890M for competition breaches over search and apps (www.theguardian.com)

Learn OpenGL, extensive tutorial resource for learning Modern OpenGL (learnopengl.com)

Fairphone 6 wide camera experimental Linux support (nondescriptpointer.com)

Malleable computing, Emacs, and you (yummymelon.com)

Cruller: Bun's Zig Runtime, Continued on Zig 0.16 (ziggit.dev)

DARPA, U.S. Air Force fly AI-controlled F-16 (www.darpa.mil)

Medici family mystery may be solved after more than 400 years (www.cnn.com)

Private healthcare makes industries less innovative. It's time for change (werd.io)

Petals: Run LLMs at home, BitTorrent-style (petals.dev)