Hacker News

1.		Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
		36 points by btilly 1 hour ago \| hide \| 5 comments
2.		SIMD-friendly algorithms for substring searching (0x80.pl)
		55 points by Rendello 4 hours ago \| hide \| 2 comments
3.		Filedb: Disk-based key-value store inspired by Bitcask (github.com/rajivharlalka)
		53 points by todsacerdoti 5 hours ago \| hide \| 2 comments
4.		TimeGuessr (timeguessr.com)
		40 points by stefanpie 4 hours ago \| hide \| 13 comments
5.		Implementing Logic Programming (btmc.substack.com)
		125 points by sirwhinesalot 10 hours ago \| hide \| 34 comments
6.		The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
		46 points by aspenmayer 2 hours ago \| hide \| 80 comments
7.		"The Illusion of Thinking" – Thoughts on This Important Paper (learningbyshipping.com)
		20 points by rbanffy 3 hours ago \| hide \| 7 comments
8.		Endometriosis is an interesting disease (owlposting.com)
		124 points by crescit_eundo 9 hours ago \| hide \| 44 comments
9.		Self-Adapting Language Models (arxiv.org)
		140 points by archon1410 12 hours ago \| hide \| 37 comments
10.		Liquid Glass – WWDC25 [video] (developer.apple.com)
		54 points by lnrd 6 hours ago \| hide \| 73 comments
11.		The international standard for identifying postal items (akpain.net)
		52 points by surprisetalk 9 hours ago \| hide \| 11 comments
12.		Student discovers fungus predicted by Albert Hoffman (wvu.edu)
		90 points by zafka 13 hours ago \| hide \| 63 comments
13.		AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)
		17 points by aspenmayer 2 hours ago \| hide \| 14 comments
14.		Shaping Light – Volumetric Lighting (maximeheckel.com)
		17 points by bj-rn 5 hours ago \| hide \| discuss
15.		Green Tea Garbage Collector (github.com/golang)
		60 points by cirwin 3 hours ago \| hide \| 1 comment
16.		UK unis to cough up to £10M on Java to keep Oracle off their backs (theregister.com)
		71 points by miles 5 hours ago \| hide \| 48 comments
17.		How I uncovered a potential ancient Rome wine scam (phys.org)
		3 points by samizdis 2 hours ago \| hide \| discuss
18.		Caltrain official lived in secret apartment built illegally inside train station (sfstandard.com)
		34 points by panic 2 hours ago \| hide \| 16 comments
19.		$100 Hamburger (wikipedia.org)
		68 points by TMWNN 4 hours ago \| hide \| 17 comments
20.		Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
		44 points by zdw 10 hours ago \| hide \| 6 comments
21.		I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
		535 points by AndrewDucker 13 hours ago \| hide \| 438 comments
22.		If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
		737 points by sdoering 23 hours ago \| hide \| 227 comments
23.		100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
		107 points by Bogdanp 17 hours ago \| hide \| 106 comments
24.		Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
		233 points by lightningcable 12 hours ago \| hide \| 226 comments
25.		The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)
		87 points by todsacerdoti 16 hours ago \| hide \| 6 comments
26.		When random people give money to random other people (2017) (quomodocumque.wordpress.com)
		92 points by munificent 15 hours ago \| hide \| 67 comments
27.		Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)
		169 points by tombh 17 hours ago \| hide \| 48 comments
28.		Using computers more freely and safely (2023) (akkartik.name)
		87 points by surprisetalk 14 hours ago \| hide \| 16 comments
29.		OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
		285 points by lairv 17 hours ago \| hide \| 95 comments
30.		High-speed fluorescence light field tomography of whole freely moving organisms (optica.org)
		39 points by PaulHoule 15 hours ago \| hide \| 2 comments
		More