Hacker News

1.		“Math 2.0” will need to value mathematical progress more holistically (mathstodon.xyz/tao)
		256 points by ent101 3 hours ago \| hide \| 218 comments
2.		Claude Haiku 5.5 (anthropic.com)
		865 points by sfkgtbor 15 hours ago \| hide \| 417 comments
3.		Classic PC demoscene productions running natively in the browser (treylorswift.github.io)
		32 points by adunk 2 hours ago \| hide \| 8 comments
4.		Living off-grid: Hundred Rabbits (100r.ca)
		196 points by Muhammad523 7 hours ago \| hide \| 52 comments
5.		The 15-year search for a band that charted once and vanished (shahidhussain.com)
		86 points by shahidhussain 4 hours ago \| hide \| 28 comments
6.		Margaret Hamilton has died (news.mit.edu)
		1450 points by muglug 11 hours ago \| hide \| 161 comments
7.		GPT‑6 and Intelligent UI for everyone (openai.com)
		617 points by joshuawright11 15 hours ago \| hide \| 339 comments
8.		How did Rosalind Franklin miss the helix in her iconic DNA image? She didn't (science.org)
		167 points by pavel_lishin 10 hours ago \| hide \| 60 comments
9.		'Jonathan' is the oldest land animal on Earth (404media.co)
		144 points by gumby 10 hours ago \| hide \| 67 comments
10.		New repository settings for configuring pull request access (github.blog)
		15 points by Bluestein 2 hours ago \| hide \| 7 comments
11.		Cleo (Mathematician) (wikipedia.org)
		140 points by djoldman 9 hours ago \| hide \| 28 comments
12.		Shipping JPEG XL in Chrome (chrome.com)
		546 points by AshleysBrain 21 hours ago \| hide \| 358 comments
13.		The Mathocalypse (scottaaronson.blog)
		221 points by 6bitquant 13 hours ago \| hide \| 253 comments
14.		Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app (bigwords.page)
		491 points by SpeakingOfBrad 17 hours ago \| hide \| 138 comments
15.		Analog Computer Simulator in the Browser (pavel-krivanek.github.io)
		19 points by adamnemecek 3 hours ago \| hide \| 5 comments
16.		In Vienna and Beijing, the first (thorium) nuclear clocks begin to tick (nytimes.com)
		97 points by gumby 10 hours ago \| hide \| 18 comments
17.		Dat-ecosystem: high level applications built on top of P2P protocols (dat-ecosystem.org)
		9 points by janandonly 2 hours ago \| hide \| 3 comments
18.		OpenAI withdraws three mathematical results (twitter.com/danintheory)
		33 points by sashank_1509 1 hour ago \| hide \| 20 comments
19.		Docker Agent (github.com/docker)
		231 points by saikatsg 15 hours ago \| hide \| 108 comments
20.		Sharing AI progress in mathematics (openai.com)
		1278 points by OfficialTurkey 1 day ago \| hide \| 1450 comments
21.		Push ifs up and fors down: The idiom, its algebra, and its limits (debasishg.github.io)
		146 points by speckx 14 hours ago \| hide \| 66 comments
22.		A minimal kernel in Swift, running in QEMU (carette.xyz)
		77 points by surprisetalk 9 hours ago \| hide \| 15 comments
23.		Animated ASCII Art for Web Pages (ascii.rest)
		346 points by turrini 17 hours ago \| hide \| 61 comments
24.		Bloody Cavemen (lrb.co.uk)
		3 points by Thevet 1 hour ago \| hide \| discuss
25.		Port of the TypeScript compiler, checker and lsp to Rust, by LLM (github.com/pingdotgg)
		53 points by jcbhmr 8 hours ago \| hide \| 91 comments
26.		How machines learned precision (glinscott.github.io)
		161 points by glinscott 14 hours ago \| hide \| 63 comments
27.		Why were Victorian elites so effective? (worksinprogress.co)
		150 points by karakoram 17 hours ago \| hide \| 249 comments
28.		House with 15m underground tunnels for sale for 300k (readingchronicle.co.uk)
		202 points by librasteve 20 hours ago \| hide \| 191 comments
29.		Navier–Stokes Lost in Translation (arxiv.org)
		303 points by nill0 17 hours ago \| hide \| 183 comments
30.		A 100x faster* alternative to homebrew (github.com/zerobrewhq)
		82 points by cachebag 5 hours ago \| hide \| 67 comments
		More