Hacker News

1.		The case against boolean logic (abuseofnotation.github.io)
		4 points by boris_m 13 minutes ago \| hide \| discuss
2.		Project Hail Mary – Stellar Navigation Chart (valhovey.github.io)
		951 points by speleo 18 hours ago \| hide \| 201 comments
3.		Slumber a TUI HTTP Client (lucaspickering.me)
		90 points by jicea 6 hours ago \| hide \| 31 comments
4.		CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs (arxiv.org)
		76 points by matt_d 6 hours ago \| hide \| 7 comments
5.		Cleve Moler has died (mathworks.com)
		122 points by mychele 8 hours ago \| hide \| 13 comments
6.		The surprising story behind the first British person in space (bbc.com)
		67 points by xoxxala 7 hours ago \| hide \| 19 comments
7.		The memory shortage is causing a repricing of consumer electronics (davidoks.blog)
		224 points by d0ks 13 hours ago \| hide \| 261 comments
8.		Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD (crocidb.com)
		300 points by speckx 16 hours ago \| hide \| 155 comments
9.		Steve Wozniak cheered after telling students they have AI – actual intelligence (businessinsider.com)
		46 points by signa11 1 hour ago \| hide \| 10 comments
10.		Was my $48K GPU server worth it? (rosmine.ai)
		464 points by apwheele 18 hours ago \| hide \| 340 comments
11.		Uv is fantastic, but its package management UX is a mess (loopwerk.io)
		220 points by nchagnet 14 hours ago \| hide \| 112 comments
12.		Using Kagi Search with Low Vision (veroniiiica.com)
		208 points by speckx 15 hours ago \| hide \| 70 comments
13.		Indexing a year of video locally on a 2021 MacBook with Gemma4-31B (50GB swap) (simbastack.com)
		396 points by asenna 20 hours ago \| hide \| 116 comments
14.		The death of the brick and mortar toy store (brainbaking.com)
		95 points by speckx 10 hours ago \| hide \| 96 comments
15.		FSFE intervenes against Apple before EUCJ for the second time (fsfe.org)
		14 points by M95D 49 minutes ago \| hide \| discuss
16.		Mycorrhizal Fungi, Nature's Key to Plant Survival and Success (pacifichorticulture.org)
		99 points by mooreds 12 hours ago \| hide \| 13 comments
17.		Lost Images from the 1945 Trinity Nuclear Test Restored (ieee.org)
		357 points by pseudolus 23 hours ago \| hide \| 105 comments
18.		Python 3.15: features that didn't make the headlines (changs.co.uk)
		382 points by rbanffy 23 hours ago \| hide \| 191 comments
19.		Show HN: Freenet, a peer-to-peer platform for decentralized apps (freenet.org)
		294 points by sanity 16 hours ago \| hide \| 176 comments
20.		Flipper One – we need your help (flipper.net)
		1167 points by sandebert 23 hours ago \| hide \| 447 comments
21.		Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team (runtm.com)
		90 points by gustrigos 18 hours ago \| hide \| 23 comments
22.		Multi-Stream LLMs: new paper on parallelizing/separating prompts, thinking, I/O (arxiv.org)
		112 points by atomicthumbs 15 hours ago \| hide \| 12 comments
23.		Waymo pauses Atlanta service as its robotaxis keep driving into floods (techcrunch.com)
		326 points by mattas 18 hours ago \| hide \| 399 comments
24.		Spotify will start reserving concert tickets for fans (hollywoodreporter.com)
		149 points by elffjs 17 hours ago \| hide \| 309 comments
25.		Throwing AI-generated walls of text into conversations (noslopgrenade.com)
		626 points by napolux 23 hours ago \| hide \| 363 comments
26.		Deciphering the Hashihara Castle Town Map (obayashi.co.jp)
		51 points by 1970-01-01 11 hours ago \| hide \| discuss
27.		Google's Antigravity bait and switch (0xsid.com)
		696 points by ssiddharth 21 hours ago \| hide \| 312 comments
28.		We're testing new ad formats in Search and expanding our Direct Offers pilot (blog.google)
		609 points by sofumel 1 day ago \| hide \| 544 comments
29.		The Hardware Lottery (hardwarelottery.github.io)
		18 points by intelkishan 5 hours ago \| hide \| 5 comments
30.		News outlets are limiting the Internet Archive’s access to their journalism (niemanlab.org)
		291 points by jaredwiener 17 hours ago \| hide \| 100 comments
		More