Hacker News

1.		Migrating from DigitalOcean to Hetzner: From $1,432 to $233 With Zero Downtime (isayeter.com)
		27 points by yusufusta 29 minutes ago \| hide \| 8 comments
2.		Why Japan has such good railways (worksinprogress.co)
		41 points by RickJWagner 1 hour ago \| hide \| 22 comments
3.		State of Kdenlive (kdenlive.org)
		89 points by f_r_d 2 hours ago \| hide \| 27 comments
4.		Michael Rabin Has Died (wikipedia.org)
		205 points by tkhattra 7 hours ago \| hide \| 34 comments
5.		Category Theory Illustrated – Orders (abuseofnotation.github.io)
		138 points by boris_m 7 hours ago \| hide \| 40 comments
6.		Amiga Graphics (lychesis.net)
		151 points by sph 7 hours ago \| hide \| 31 comments
7.		It's OK to compare floating-points for equality (lisyarus.github.io)
		68 points by coinfused 4 hours ago \| hide \| 39 comments
8.		Claude Design (anthropic.com)
		1093 points by meetpateltech 22 hours ago \| hide \| 721 comments
9.		Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
		211 points by fouronnes3 10 hours ago \| hide \| 40 comments
10.		Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
		637 points by aray07 22 hours ago \| hide \| 451 comments
11.		All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
		376 points by cybermango 19 hours ago \| hide \| 222 comments
12.		Towards trust in Emacs (eshelyaron.com)
		145 points by eshelyaron 12 hours ago \| hide \| 20 comments
13.		Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists (ipvm.com)
		48 points by jhonovich 1 hour ago \| hide \| 14 comments
14.		Spending 3 months coding by hand (miguelconner.substack.com)
		246 points by evakhoury 17 hours ago \| hide \| 255 comments
15.		A Dumb Introduction to Z3 (ar-ms.me)
		11 points by y1n0 3 hours ago \| hide \| 8 comments
16.		Brunost: The Nynorsk Programming Language (lindbakk.com)
		99 points by atomfinger 10 hours ago \| hide \| 45 comments
17.		Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
		246 points by louiereederson 17 hours ago \| hide \| 86 comments
18.		A simplified model of Fil-C (corsix.org)
		188 points by aw1621107 16 hours ago \| hide \| 100 comments
19.		Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com/smol-machines)
		373 points by binsquare 20 hours ago \| hide \| 120 comments
20.		The simple geometry behind any road (sandboxspirit.com)
		65 points by azhenley 7 hours ago \| hide \| 8 comments
21.		Hyperscalers have already outspent most famous US megaprojects (twitter.com/finmoorhouse)
		233 points by nowflux 21 hours ago \| hide \| 181 comments
22.		"cat readme.txt" is not safe if you use iTerm2 (calif.io)
		228 points by arkadiyt 19 hours ago \| hide \| 133 comments
23.		Slop Cop (awnist.com)
		205 points by ericHosick 20 hours ago \| hide \| 124 comments
24.		Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
		67 points by riteshnoronha16 8 hours ago \| hide \| 26 comments
25.		Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com/paniclock)
		214 points by seanieb 21 hours ago \| hide \| 99 comments
26.		Binary Encodings for JSON and Variant (jincongho.com)
		4 points by jincongho 2 hours ago \| hide \| discuss
27.		Middle schooler finds coin from Troy in Berlin (thehistoryblog.com)
		249 points by speckx 23 hours ago \| hide \| 116 comments
28.		Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios)
		17 points by olliewagner 5 hours ago \| hide \| 5 comments
29.		NASA Force (nasaforce.gov)
		290 points by LorenDB 22 hours ago \| hide \| 282 comments
30.		Landmark ancient-genome study shows surprise acceleration of human evolution (nature.com)
		92 points by unsuspecting 15 hours ago \| hide \| 97 comments
		More