2026-07-22 front | Hacker News

Stories from July 22, 2026 (UTC)

Go back a day, month, or year. Go forward a day.

1.		Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (chatgpt.com)
		909 points by gmays 17 hours ago \| 526 comments
2.		John C. Dvorak has died (twitter.com/na_announce)
		772 points by coleca 15 hours ago \| 259 comments
3.		Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
		862 points by starfallg 19 hours ago \| 196 comments
4.		The startup's Postgres survival guide (hatchet.run)
		422 points by abelanger 22 hours ago \| 196 comments
5.		GigaToken: ~1000x faster Language model tokenization (github.com/marcelroed)
		523 points by syrusakbary 17 hours ago \| 110 comments
6.		Making (beej.us)
		375 points by erikschoster 19 hours ago \| 146 comments
7.		Are AI labs pelicanmaxxing? (dylancastillo.co)
		564 points by dcastm 17 hours ago \| 216 comments
8.		Judge approves $1.5B Anthropic settlement for pirated books used to train Claude (apnews.com)
		554 points by BeetleB 1 day ago \| 585 comments
9.		Everyone should know SIMD (mitchellh.com)
		458 points by WadeGrimridge 17 hours ago \| 164 comments
10.		So Reddit has decided that plain HTML is unsafe (cole-k.com)
		494 points by montroser 22 hours ago \| 491 comments
11.		Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
		240 points by rbanffy 8 days ago \| 220 comments
12.		Ghost Cut – Or why Cut and Paste is broken everywhere (textualize.io)
		176 points by willm 20 hours ago \| 126 comments
13.		Back to Kagi (melashri.net)
		282 points by speckx 22 hours ago \| 210 comments
14.		Businesses with ugly AI menu redesigns (fiddery.com)
		314 points by speckx 22 hours ago \| 217 comments
15.		Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
		242 points by zdw 4 days ago \| 110 comments
16.		LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
		431 points by DemiGuru 1 day ago \| 438 comments
17.		It's a shame what's happened to radio (jimgrey.net)
		220 points by sonicrocketman 1 day ago \| 273 comments
18.		Gemini last models: temperature, top_p, and top_k are deprecated and ignored (ai.google.dev)
		131 points by greatgib 1 day ago \| 43 comments
19.		Original Apollo 11 Guidance Computer source code for command and lunar modules (github.com/chrislgarry)
		180 points by noteness 1 day ago \| 55 comments
20.		OverpAId – Fire your CEO. Hire the future (overpaid.lol)
		657 points by ignaloidas 1 day ago \| 340 comments
21.		Ten Steps Towards Happiness (2015) (hintjens.com)
		215 points by emerongi 1 day ago \| 97 comments
22.		Late.sh – a command-line Clubhouse for computer people (late.sh)
		313 points by itherseed 1 day ago \| 122 comments
23.		Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com/nikitabier)
		514 points by ksec 20 hours ago \| 713 comments
24.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		233 points by badcryptobitch 3 days ago \| 51 comments
25.		Malleable Computing, Emacs, and You (yummymelon.com)
		117 points by kickingvegas 14 hours ago \| 32 comments
26.		Medici family mystery may be solved after more than 400 years (cnn.com)
		127 points by effects 13 hours ago \| 37 comments
27.		Launch HN: Unlayer (YC W22) – Add email and document builders to your app (unlayer.com)
		54 points by adeelraza 19 hours ago \| 34 comments
28.		Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong (github.com/cactus-compute)
		149 points by HenryNdubuaku 17 hours ago \| 31 comments
29.		ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
		137 points by buibuibui 6 days ago \| 51 comments
30.		I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
		393 points by CITIZENDOT 14 hours ago \| 109 comments
		More