Hacker News

1.		Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
		102 points by btilly 5 hours ago \| hide \| 24 comments
2.		Last fifty years of integer linear programming: Recent practical advances (hal.science)
		40 points by teleforce 5 hours ago \| hide \| discuss
3.		SIMD-friendly algorithms for substring searching (0x80.pl)
		115 points by Rendello 8 hours ago \| hide \| 11 comments
4.		Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)
		3 points by Bogdanp 1 hour ago \| hide \| discuss
5.		Slowing the flow of core-dump-related CVEs (lwn.net)
		28 points by jwilk 6 hours ago \| hide \| 2 comments
6.		Google Cloud Incident Report – 2025-06-13 (cloud.google.com)
		41 points by denysvitali 5 hours ago \| hide \| 12 comments
7.		Filedb: Disk-based key-value store inspired by Bitcask (github.com/rajivharlalka)
		71 points by todsacerdoti 9 hours ago \| hide \| 4 comments
8.		The Many Sides of Erik Satie (mitpress.mit.edu)
		13 points by anarbadalov 3 hours ago \| hide \| 3 comments
9.		Endometriosis is an interesting disease (owlposting.com)
		173 points by crescit_eundo 13 hours ago \| hide \| 84 comments
10.		Implementing Logic Programming (btmc.substack.com)
		145 points by sirwhinesalot 14 hours ago \| hide \| 46 comments
11.		Saab achieves AI milestone with Gripen E (saab.com)
		27 points by fnordsensei 4 hours ago \| hide \| 11 comments
12.		TimeGuessr (timeguessr.com)
		106 points by stefanpie 8 hours ago \| hide \| 27 comments
13.		Me an' Algernon – grappling with (temporary) cognitive decline (tidyfirst.substack.com)
		25 points by KentBeck 7 hours ago \| hide \| 8 comments
14.		Self-Adapting Language Models (arxiv.org)
		153 points by archon1410 16 hours ago \| hide \| 43 comments
15.		The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
		96 points by aspenmayer 6 hours ago \| hide \| 106 comments
16.		Liquid Glass – WWDC25 [video] (developer.apple.com)
		84 points by lnrd 10 hours ago \| hide \| 138 comments
17.		The international standard for identifying postal items (akpain.net)
		62 points by surprisetalk 13 hours ago \| hide \| 14 comments
18.		How I uncovered a potential ancient Rome wine scam (phys.org)
		19 points by samizdis 6 hours ago \| hide \| 16 comments
19.		Student discovers fungus predicted by Albert Hoffman (wvu.edu)
		105 points by zafka 17 hours ago \| hide \| 71 comments
20.		Mollusk shell assemblages as a tool for identifying unaltered seagrass beds (int-res.com)
		4 points by PaulHoule 3 hours ago \| hide \| discuss
21.		If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
		770 points by sdoering 1 day ago \| hide \| 235 comments
22.		Protecting your code from other people's bugs (doi.org)
		9 points by MiguelX413 6 hours ago \| hide \| 2 comments
23.		Man Killed by Police After Spiraling into ChatGPT-Driven Psychosis (futurism.com)
		5 points by sizzle 1 hour ago \| hide \| discuss
24.		I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
		569 points by AndrewDucker 17 hours ago \| hide \| 454 comments
25.		Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
		49 points by zdw 14 hours ago \| hide \| 8 comments
26.		The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)
		94 points by todsacerdoti 20 hours ago \| hide \| 7 comments
27.		100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
		109 points by Bogdanp 21 hours ago \| hide \| 111 comments
28.		Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
		256 points by lightningcable 16 hours ago \| hide \| 264 comments
29.		$100 Hamburger (wikipedia.org)
		95 points by TMWNN 8 hours ago \| hide \| 30 comments
30.		Green Tea Garbage Collector (github.com/golang)
		78 points by cirwin 7 hours ago \| hide \| 3 comments
		More