Hacker News

1.		Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
		71 points by btilly 3 hours ago \| hide \| 15 comments
2.		SIMD-friendly algorithms for substring searching (0x80.pl)
		88 points by Rendello 6 hours ago \| hide \| 5 comments
3.		TimeGuessr (timeguessr.com)
		78 points by stefanpie 6 hours ago \| hide \| 21 comments
4.		Filedb: Disk-based key-value store inspired by Bitcask (github.com/rajivharlalka)
		65 points by todsacerdoti 7 hours ago \| hide \| 3 comments
5.		"The Illusion of Thinking" – Thoughts on This Important Paper (learningbyshipping.com)
		44 points by rbanffy 5 hours ago \| hide \| 33 comments
6.		Implementing Logic Programming (btmc.substack.com)
		135 points by sirwhinesalot 12 hours ago \| hide \| 40 comments
7.		Endometriosis is an interesting disease (owlposting.com)
		147 points by crescit_eundo 11 hours ago \| hide \| 58 comments
8.		Self-Study Plan for Electrical Engineering (study-from-here.com)
		6 points by BhattMayurJ 12 minutes ago \| hide \| 1 comment
9.		Slowing the flow of core-dump-related CVEs (lwn.net)
		9 points by jwilk 4 hours ago \| hide \| discuss
10.		The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
		72 points by aspenmayer 4 hours ago \| hide \| 97 comments
11.		Liquid Glass – WWDC25 [video] (developer.apple.com)
		74 points by lnrd 8 hours ago \| hide \| 108 comments
12.		Self-Adapting Language Models (arxiv.org)
		146 points by archon1410 14 hours ago \| hide \| 42 comments
13.		The international standard for identifying postal items (akpain.net)
		58 points by surprisetalk 11 hours ago \| hide \| 12 comments
14.		How I uncovered a potential ancient Rome wine scam (phys.org)
		11 points by samizdis 4 hours ago \| hide \| 6 comments
15.		Student discovers fungus predicted by Albert Hoffman (wvu.edu)
		98 points by zafka 15 hours ago \| hide \| 69 comments
16.		How to Write the Worst Possible Python Code (Humor) (effective-programmer.com)
		8 points by naveed125 4 hours ago \| hide \| 2 comments
17.		Protecting your code from other people's bugs (doi.org)
		6 points by MiguelX413 4 hours ago \| hide \| 2 comments
18.		Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
		49 points by zdw 12 hours ago \| hide \| 7 comments
19.		If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
		756 points by sdoering 1 day ago \| hide \| 229 comments
20.		I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
		551 points by AndrewDucker 15 hours ago \| hide \| 445 comments
21.		Green Tea Garbage Collector (github.com/golang)
		68 points by cirwin 5 hours ago \| hide \| 2 comments
22.		$100 Hamburger (wikipedia.org)
		84 points by TMWNN 6 hours ago \| hide \| 24 comments
23.		Paleoproteomic profiling recovers diverse proteins from 200yo human brains (phys.org)
		3 points by gmays 3 hours ago \| hide \| discuss
24.		AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)
		20 points by aspenmayer 4 hours ago \| hide \| 21 comments
25.		Last fifty years of integer linear programming: Recent practical advances (hal.science)
		3 points by teleforce 3 hours ago \| hide \| discuss
26.		Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)
		175 points by tombh 19 hours ago \| hide \| 50 comments
27.		Caltrain official lived in secret apartment built illegally inside train station (sfstandard.com)
		44 points by panic 4 hours ago \| hide \| 25 comments
28.		100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
		108 points by Bogdanp 19 hours ago \| hide \| 109 comments
29.		When random people give money to random other people (2017) (quomodocumque.wordpress.com)
		97 points by munificent 17 hours ago \| hide \| 68 comments
30.		Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
		244 points by lightningcable 14 hours ago \| hide \| 247 comments
		More