Hacker News Highlights

This is a recap of the top 10 posts on Hacker News on Jul 23, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:17) - Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

(01:37) - Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

(03:03) - John C. Dvorak has died

(03:41) - Are AI labs pelicanmaxxing?

(05:09) - So Reddit has decided that plain HTML is unsafe

(06:32) - The startup's Postgres survival guide

(07:48) - Everyone should know SIMD

(09:20) - Making

(10:46) - Quality non-fiction books are the antithesis of AI slop

(12:04) - Outro

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
https://news.ycombinator.com/item?id=49010345Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
https://bento.page/slides/
https://news.ycombinator.com/item?id=49008211
John C. Dvorak has died
https://twitter.com/na_announce/status/2079952538040672302
https://news.ycombinator.com/item?id=49012070
Are AI labs pelicanmaxxing?
https://dylancastillo.co/posts/pelicanmaxxing.html
https://news.ycombinator.com/item?id=49010129
GigaToken: ~1000x faster Language model tokenization
https://github.com/marcelroed/gigatoken/
https://news.ycombinator.com/item?id=49010167
So Reddit has decided that plain HTML is unsafe
https://www.cole-k.com/2026/07/21/reddit/
https://news.ycombinator.com/item?id=49005747
The startup's Postgres survival guide
https://hatchet.run/blog/postgres-survival-guide
https://news.ycombinator.com/item?id=49005787
Everyone should know SIMD
https://mitchellh.com/writing/everyone-should-know-simd
https://news.ycombinator.com/item?id=49010648
Making
https://beej.us/blog/data/ai-making/
https://news.ycombinator.com/item?id=49008440
Quality non-fiction books are the antithesis of AI slop
https://resobscura.substack.com/p/quality-non-fiction-books-are-the
https://news.ycombinator.com/item?id=49007247

This is a recap of the top 10 posts on Hacker News on Jul 22, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:19) - OpenAI and Hugging Face address security incident during model evaluation

(01:41) - Advertise in ChatGPT

(03:14) - Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber

(04:57) - Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA

(06:13) - FreeInk: Open ecosystem for e-readers

(07:25) - 'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

(08:38) - Apple defeats liability for not scanning iCloud for CSAM

(10:09) - Long presumed dead, a thriving coral reef is discovered in West Africa

(11:29) - Judge approves $1.5B Anthropic settlement for pirated books used to train Claude

(12:49) - Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

(14:06) - Outro

OpenAI and Hugging Face address security incident during model evaluation
https://openai.com/index/hugging-face-model-evaluation-security-incident/
https://news.ycombinator.com/item?id=48997548Advertise in ChatGPT
https://ads.openai.com/
https://news.ycombinator.com/item?id=48996571
Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber
https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/
https://news.ycombinator.com/item?id=48993414
Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA
https://fireworks.ai/blog/kimik3-fable
https://news.ycombinator.com/item?id=48999291
FreeInk: Open ecosystem for e-readers
https://freeink.org/
https://news.ycombinator.com/item?id=48996318
'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling
https://www.techradar.com/vpn/vpn-privacy-security/vpns-are-lawful-technical-tools-says-eu-court-in-landmark-anne-frank-copyright-ruling
https://news.ycombinator.com/item?id=48997221
Apple defeats liability for not scanning iCloud for CSAM
https://blog.ericgoldman.org/archives/2026/07/apple-defeats-liability-for-not-scanning-icloud-for-csam-but-the-judge-was-not-pleased-amy-v-apple.htm
https://news.ycombinator.com/item?id=48992870
Long presumed dead, a thriving coral reef is discovered in West Africa
https://e360.yale.edu/digest/benin-coral-reef
https://news.ycombinator.com/item?id=48993816
Judge approves $1.5B Anthropic settlement for pirated books used to train Claude
https://apnews.com/article/ai-anthropic-copyright-settlement-claude-books-bartz-74b140444023898aeba8579b6e9f0d63
https://news.ycombinator.com/item?id=48996652
Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting
https://runtimewire.com/article/jack-dorsey-block-buzz-team-chat-ai-agents-git
https://news.ycombinator.com/item?id=48995213

This is a recap of the top 10 posts on Hacker News on Jul 21, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:16) - China’s open-weights AI strategy is winning

(02:00) - Hacker wipes Romania's land registry database

(03:22) - Who's afraid of Chinese models?

(04:54) - Kimi Work

(06:18) - Jelly UI: Soft-body physics for native HTML form controls

(07:27) - Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public

(08:51) - Human mathematicians are being outcounterexampled

(10:06) - Nativ: Run frontier open models locally on your Mac

(11:25) - Perfection is not over-engineering

(12:51) - Jellyfin founder Andrew leaves team

(14:02) - Outro

China’s open-weights AI strategy is winning
https://werd.io/american-ai-is-locked-down-and-proprietary-its-losing/
https://news.ycombinator.com/item?id=48979269Hacker wipes Romania's land registry database
https://news.risky.biz/risky-bulletin-hacker-wipes-romanias-entire-land-registry-database/
https://news.ycombinator.com/item?id=48978605
Who's afraid of Chinese models?
https://stratechery.com/2026/whos-afraid-of-chinese-models/
https://news.ycombinator.com/item?id=48977128
Kimi Work
https://www.kimi.com/products/kimi-work
https://news.ycombinator.com/item?id=48981703
Jelly UI: Soft-body physics for native HTML form controls
https://jelly-ui.com/
https://news.ycombinator.com/item?id=48981620
Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public
https://www.aclu.org/news/privacy-technology/tracking-alpr-cameras/flock-safety-credibility-lost-as-it-repeatedly-lies-to-city-councils-police-departments-and-public-across-the-country
https://news.ycombinator.com/item?id=48986731
Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
https://news.ycombinator.com/item?id=48983382
Nativ: Run frontier open models locally on your Mac
https://blaizzy.github.io/nativ/
https://news.ycombinator.com/item?id=48982681
Perfection is not over-engineering
https://var0.xyz/posts/perfection-is-not-over-engineering.html
https://news.ycombinator.com/item?id=48979120
Jellyfin founder Andrew leaves team
https://forum.jellyfin.org/t-project-leadership-changes
https://news.ycombinator.com/item?id=48986091

This is a recap of the top 10 posts on Hacker News on Jul 20, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:18) - Show HN: I replaced a $120k bowling center system with $1,600 in ESP32s

(01:52) - Qwen 3.8

(03:11) - Claude Code uses Bun written in Rust now

(04:43) - What I learned selling 2,500 MIDI recorders: Hardware is not so hard

(05:57) - Claude Fable produced a counterexample to the Jacobian Conjecture

(07:17) - Minecraft: Java Edition now uses SDL3

(08:28) - I joined the IndieWeb, here's what I learned

(09:39) - Orion Browser by Kagi

(10:58) - The Zen of Parallel Programming

(12:09) - Bananas sprout in Rayleigh Garden UK after 15 years

(13:14) - Outro

Show HN: I replaced a $120k bowling center system with $1,600 in ESP32s
https://news.ycombinator.com/item?id=48968606Qwen 3.8
https://twitter.com/Alibaba_Qwen/status/2078759124914098291
https://news.ycombinator.com/item?id=48966120
Claude Code uses Bun written in Rust now
https://simonwillison.net/2026/Jul/19/claude-code-in-bun-in-rust/
https://news.ycombinator.com/item?id=48966569
What I learned selling 2,500 MIDI recorders: Hardware is not so hard
https://chipweinberger.com/articles/20260719-hardware-is-not-so-hard
https://news.ycombinator.com/item?id=48966713
Claude Fable produced a counterexample to the Jacobian Conjecture
https://xcancel.com/__alpoge__/status/2079028340955197566
https://news.ycombinator.com/item?id=48973869
Minecraft: Java Edition now uses SDL3
https://www.minecraft.net/en-us/article/minecraft-26-3-snapshot-4
https://news.ycombinator.com/item?id=48967256
I joined the IndieWeb, here's what I learned
https://en.andros.dev/blog/0b8e451e/i-joined-the-indieweb-heres-what-i-learned/
https://news.ycombinator.com/item?id=48966984
Orion Browser by Kagi
https://orionbrowser.com/
https://news.ycombinator.com/item?id=48970894
The Zen of Parallel Programming
https://smolnero.com/posts/the-zen-of-parallel-programming
https://news.ycombinator.com/item?id=48907390
Bananas sprout in Rayleigh Garden UK after 15 years
https://www.bbc.com/news/articles/cvg8edqq5g5o
https://news.ycombinator.com/item?id=48968063

This is a recap of the top 10 posts on Hacker News on Jul 19, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:20) - GPT-5.6 used a prompt to close a 30-year gap in convex optimization

(01:53) - Mayor Mamdani Says Landlords Can't Use AI Images to Advertise

(03:21) - Speech Recognition and TTS in less than 500kb

(04:33) - Transcribe.cpp

(05:53) - If You Build It, They Will Come

(07:05) - The Kimi K3 Moment

(08:26) - Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

(09:56) - Gleam Is Now on Tangled

(11:15) - Setting up your spare Mac for Claude Code to control, a step-by-step guide

(12:29) - Elixir-lang.org has a new design

(13:36) - Outro

GPT-5.6 used a prompt to close a 30-year gap in convex optimization
https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
https://news.ycombinator.com/item?id=48957779Mayor Mamdani Says Landlords Can't Use AI Images to Advertise
https://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-advertise-properties/
https://news.ycombinator.com/item?id=48962983
Speech Recognition and TTS in less than 500kb
https://github.com/moonshine-ai/moonshine/tree/main/micro
https://news.ycombinator.com/item?id=48911793
Transcribe.cpp
https://workshop.cjpais.com/projects/transcribe-cpp
https://news.ycombinator.com/item?id=48963879
If You Build It, They Will Come
https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
https://news.ycombinator.com/item?id=48959090
The Kimi K3 Moment
https://stephen.bochinski.dev/blog/2026/07/18/the-kimi-k3-moment/
https://news.ycombinator.com/item?id=48960218
Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?
https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/
https://news.ycombinator.com/item?id=48956879
Gleam Is Now on Tangled
https://tangled.org/gleam.run/gleam
https://news.ycombinator.com/item?id=48959143
Setting up your spare Mac for Claude Code to control, a step-by-step guide
https://ykdojo.github.io/claude-controls-mac/
https://news.ycombinator.com/item?id=48959392
Elixir-lang.org has a new design
https://elixir-lang.org/
https://news.ycombinator.com/item?id=48959042