2026-07-22 front | Hacker News

Stories from July 22, 2026

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

1.		Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (chatgpt.com)
		1127 points by gmays 13 days ago \| 636 comments
2.		John C. Dvorak has died (twitter.com/na_announce)
		930 points by coleca 13 days ago \| 323 comments
3.		Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
		1033 points by starfallg 13 days ago \| 239 comments
4.		The startup's Postgres survival guide (hatchet.run)
		523 points by abelanger 13 days ago \| 240 comments
5.		GigaToken: ~1000x faster Language model tokenization (github.com/marcelroed)
		620 points by syrusakbary 13 days ago \| 120 comments
6.		Everyone should know SIMD (mitchellh.com)
		672 points by WadeGrimridge 13 days ago \| 253 comments
7.		Are AI labs pelicanmaxxing? (dylancastillo.co)
		686 points by dcastm 13 days ago \| 242 comments
8.		Making (beej.us)
		442 points by erikschoster 13 days ago \| 186 comments
9.		Judge approves $1.5B Anthropic settlement for pirated books used to train Claude (apnews.com)
		568 points by BeetleB 14 days ago \| 631 comments
10.		So Reddit has decided that plain HTML is unsafe (cole-k.com)
		610 points by montroser 13 days ago \| 646 comments
11.		Malleable computing, Emacs, and you (yummymelon.com)
		159 points by kickingvegas 13 days ago \| 55 comments
12.		Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
		279 points by rbanffy 20 days ago \| 264 comments
13.		Businesses with ugly AI menu redesigns (fiddery.com)
		381 points by speckx 13 days ago \| 307 comments
14.		Back to Kagi (melashri.net)
		332 points by speckx 13 days ago \| 256 comments
15.		Ghost Cut – Or why Cut and Paste is broken everywhere (textualize.io)
		196 points by willm 13 days ago \| 154 comments
16.		LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
		468 points by DemiGuru 14 days ago \| 525 comments
17.		Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong (github.com/cactus-compute)
		191 points by HenryNdubuaku 13 days ago \| 44 comments
18.		Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
		248 points by zdw 17 days ago \| 117 comments
19.		Medici family mystery may be solved after more than 400 years (cnn.com)
		153 points by effects 13 days ago \| 55 comments
20.		It's a shame what's happened to radio (jimgrey.net)
		230 points by sonicrocketman 14 days ago \| 281 comments
21.		Gemini last models: temperature, top_p, and top_k are deprecated and ignored (ai.google.dev)
		136 points by greatgib 14 days ago \| 47 comments
22.		OverpAId – Fire your CEO. Hire the future (overpaid.lol)
		685 points by ignaloidas 13 days ago \| 364 comments
23.		Original Apollo 11 Guidance Computer source code for command and lunar modules (github.com/chrislgarry)
		191 points by noteness 13 days ago \| 58 comments
24.		Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com/nikitabier)
		577 points by ksec 13 days ago \| 781 comments
25.		Ten Steps Towards Happiness (2015) (hintjens.com)
		230 points by emerongi 14 days ago \| 106 comments
26.		Late.sh – a command-line Clubhouse for computer people (late.sh)
		333 points by itherseed 14 days ago \| 131 comments
27.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		244 points by badcryptobitch 16 days ago \| 52 comments
28.		Launch HN: Unlayer (YC W22) – Add email and document builders to your app (unlayer.com)
		56 points by adeelraza 13 days ago \| 40 comments
29.		I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
		482 points by CITIZENDOT 13 days ago \| 126 comments
30.		ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
		146 points by buibuibui 18 days ago \| 53 comments
		More

HN For You