Hacker News

1.		Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
		52 points by btilly 2 hours ago \| hide \| 8 comments
2.		SIMD-friendly algorithms for substring searching (0x80.pl)
		73 points by Rendello 5 hours ago \| hide \| 3 comments
3.		Danish department determined to dump Microsoft (theregister.com)
		34 points by taubek 29 minutes ago \| hide \| 3 comments
4.		TimeGuessr (timeguessr.com)
		59 points by stefanpie 5 hours ago \| hide \| 15 comments
5.		Filedb: Disk-based key-value store inspired by Bitcask (github.com/rajivharlalka)
		59 points by todsacerdoti 6 hours ago \| hide \| 3 comments
6.		Implementing Logic Programming (btmc.substack.com)
		129 points by sirwhinesalot 11 hours ago \| hide \| 38 comments
7.		Endometriosis is an interesting disease (owlposting.com)
		138 points by crescit_eundo 10 hours ago \| hide \| 54 comments
8.		"The Illusion of Thinking" – Thoughts on This Important Paper (learningbyshipping.com)
		30 points by rbanffy 4 hours ago \| hide \| 17 comments
9.		The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
		64 points by aspenmayer 3 hours ago \| hide \| 89 comments
10.		Self-Adapting Language Models (arxiv.org)
		142 points by archon1410 13 hours ago \| hide \| 38 comments
11.		Liquid Glass – WWDC25 [video] (developer.apple.com)
		62 points by lnrd 7 hours ago \| hide \| 98 comments
12.		The international standard for identifying postal items (akpain.net)
		55 points by surprisetalk 10 hours ago \| hide \| 12 comments
13.		Shaping Light – Volumetric Lighting (maximeheckel.com)
		20 points by bj-rn 6 hours ago \| hide \| discuss
14.		Slowing the flow of core-dump-related CVEs (lwn.net)
		4 points by jwilk 3 hours ago \| hide \| discuss
15.		Student discovers fungus predicted by Albert Hoffman (wvu.edu)
		94 points by zafka 14 hours ago \| hide \| 66 comments
16.		How I uncovered a potential ancient Rome wine scam (phys.org)
		5 points by samizdis 3 hours ago \| hide \| 1 comment
17.		To fuel AI, US Congress moves to fast-track nuclear plant approvals (wsj.com)
		4 points by markgavalda 38 minutes ago \| hide \| 1 comment
18.		AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)
		20 points by aspenmayer 3 hours ago \| hide \| 18 comments
19.		Green Tea Garbage Collector (github.com/golang)
		64 points by cirwin 4 hours ago \| hide \| 2 comments
20.		Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
		48 points by zdw 11 hours ago \| hide \| 7 comments
21.		Caltrain official lived in secret apartment built illegally inside train station (sfstandard.com)
		38 points by panic 3 hours ago \| hide \| 18 comments
22.		If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
		747 points by sdoering 1 day ago \| hide \| 228 comments
23.		$100 Hamburger (wikipedia.org)
		77 points by TMWNN 5 hours ago \| hide \| 19 comments
24.		I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
		546 points by AndrewDucker 14 hours ago \| hide \| 443 comments
25.		Protecting your code from other people's bugs (doi.org)
		3 points by MiguelX413 3 hours ago \| hide \| 1 comment
26.		100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
		108 points by Bogdanp 18 hours ago \| hide \| 106 comments
27.		When random people give money to random other people (2017) (quomodocumque.wordpress.com)
		97 points by munificent 16 hours ago \| hide \| 68 comments
28.		Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)
		173 points by tombh 18 hours ago \| hide \| 49 comments
29.		The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)
		90 points by todsacerdoti 17 hours ago \| hide \| 7 comments
30.		Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
		235 points by lightningcable 13 hours ago \| hide \| 232 comments
		More