Hacker News

1.		Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
		88 points by btilly 4 hours ago \| hide \| 19 comments
2.		SIMD-friendly algorithms for substring searching (0x80.pl)
		100 points by Rendello 7 hours ago \| hide \| 8 comments
3.		Last fifty years of integer linear programming: Recent practical advances (hal.science)
		14 points by teleforce 4 hours ago \| hide \| discuss
4.		Slowing the flow of core-dump-related CVEs (lwn.net)
		18 points by jwilk 5 hours ago \| hide \| discuss
5.		TimeGuessr (timeguessr.com)
		88 points by stefanpie 7 hours ago \| hide \| 24 comments
6.		Filedb: Disk-based key-value store inspired by Bitcask (github.com/rajivharlalka)
		68 points by todsacerdoti 8 hours ago \| hide \| 3 comments
7.		Endometriosis is an interesting disease (owlposting.com)
		158 points by crescit_eundo 12 hours ago \| hide \| 66 comments
8.		Implementing Logic Programming (btmc.substack.com)
		141 points by sirwhinesalot 13 hours ago \| hide \| 42 comments
9.		Liquid Glass – WWDC25 [video] (developer.apple.com)
		80 points by lnrd 9 hours ago \| hide \| 125 comments
10.		Self-Adapting Language Models (arxiv.org)
		150 points by archon1410 15 hours ago \| hide \| 43 comments
11.		The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
		82 points by aspenmayer 5 hours ago \| hide \| 102 comments
12.		Saab achieves AI milestone with Gripen E (saab.com)
		12 points by fnordsensei 3 hours ago \| hide \| 2 comments
13.		How I uncovered a potential ancient Rome wine scam (phys.org)
		14 points by samizdis 5 hours ago \| hide \| 12 comments
14.		The international standard for identifying postal items (akpain.net)
		59 points by surprisetalk 12 hours ago \| hide \| 12 comments
15.		Student discovers fungus predicted by Albert Hoffman (wvu.edu)
		102 points by zafka 15 hours ago \| hide \| 69 comments
16.		Me an' Algernon – grappling with (temporary) cognitive decline (tidyfirst.substack.com)
		18 points by KentBeck 6 hours ago \| hide \| 2 comments
17.		Protecting your code from other people's bugs (doi.org)
		9 points by MiguelX413 5 hours ago \| hide \| 2 comments
18.		How to Write the Worst Possible Python Code (Humor) (effective-programmer.com)
		15 points by naveed125 5 hours ago \| hide \| 6 comments
19.		If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
		758 points by sdoering 1 day ago \| hide \| 233 comments
20.		Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
		49 points by zdw 13 hours ago \| hide \| 8 comments
21.		I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
		564 points by AndrewDucker 16 hours ago \| hide \| 448 comments
22.		$100 Hamburger (wikipedia.org)
		89 points by TMWNN 7 hours ago \| hide \| 27 comments
23.		When random people give money to random other people (2017) (quomodocumque.wordpress.com)
		102 points by munificent 18 hours ago \| hide \| 71 comments
24.		100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
		108 points by Bogdanp 20 hours ago \| hide \| 108 comments
25.		The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)
		93 points by todsacerdoti 19 hours ago \| hide \| 7 comments
26.		Green Tea Garbage Collector (github.com/golang)
		72 points by cirwin 6 hours ago \| hide \| 2 comments
27.		Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
		252 points by lightningcable 15 hours ago \| hide \| 253 comments
28.		AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)
		23 points by aspenmayer 5 hours ago \| hide \| 22 comments
29.		Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)
		179 points by tombh 20 hours ago \| hide \| 49 comments
30.		Caltrain official lived in secret apartment built illegally inside train station (sfstandard.com)
		47 points by panic 5 hours ago \| hide \| 29 comments
		More