Hacker News

1.		Category Theory Illustrated – Orders (abuseofnotation.github.io)
		112 points by boris_m 5 hours ago \| hide \| 32 comments
2.		Michael Rabin Has Died (wikipedia.org)
		129 points by tkhattra 5 hours ago \| hide \| 5 comments
3.		Amiga Graphics (lychesis.net)
		118 points by sph 5 hours ago \| hide \| 12 comments
4.		Claude Design (anthropic.com)
		1076 points by meetpateltech 20 hours ago \| hide \| 702 comments
5.		It's OK to compare floating-points for equality (lisyarus.github.io)
		25 points by coinfused 2 hours ago \| hide \| 18 comments
6.		Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
		188 points by fouronnes3 8 hours ago \| hide \| 37 comments
7.		Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
		624 points by aray07 20 hours ago \| hide \| 441 comments
8.		Towards trust in Emacs (eshelyaron.com)
		129 points by eshelyaron 10 hours ago \| hide \| 18 comments
9.		All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
		350 points by cybermango 17 hours ago \| hide \| 204 comments
10.		Spending 3 months coding by hand (miguelconner.substack.com)
		231 points by evakhoury 15 hours ago \| hide \| 237 comments
11.		It is incorrect to "normalize" // in HTTP URL paths (runxiyu.org)
		45 points by pabs3 6 hours ago \| hide \| 34 comments
12.		Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
		57 points by riteshnoronha16 6 hours ago \| hide \| 23 comments
13.		Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
		226 points by louiereederson 15 hours ago \| hide \| 69 comments
14.		A simplified model of Fil-C (corsix.org)
		179 points by aw1621107 14 hours ago \| hide \| 99 comments
15.		Brunost: The Nynorsk Programming Language (lindbakk.com)
		81 points by atomfinger 8 hours ago \| hide \| 32 comments
16.		Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com/smol-machines)
		348 points by binsquare 18 hours ago \| hide \| 116 comments
17.		Slop Cop (awnist.com)
		200 points by ericHosick 19 hours ago \| hide \| 119 comments
18.		"cat readme.txt" is not safe if you use iTerm2 (calif.io)
		204 points by arkadiyt 17 hours ago \| hide \| 117 comments
19.		Hyperscalers have already outspent most famous US megaprojects (twitter.com/finmoorhouse)
		210 points by nowflux 19 hours ago \| hide \| 171 comments
20.		Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com/paniclock)
		206 points by seanieb 19 hours ago \| hide \| 95 comments
21.		The simple geometry behind any road (sandboxspirit.com)
		50 points by azhenley 5 hours ago \| hide \| 7 comments
22.		Loonies for Loongsons (leadedsolder.com)
		13 points by zdw 2 hours ago \| hide \| 2 comments
23.		Middle schooler finds coin from Troy in Berlin (thehistoryblog.com)
		241 points by speckx 21 hours ago \| hide \| 111 comments
24.		NASA Force (nasaforce.gov)
		281 points by LorenDB 20 hours ago \| hide \| 276 comments
25.		Landmark ancient-genome study shows surprise acceleration of human evolution (nature.com)
		87 points by unsuspecting 13 hours ago \| hide \| 79 comments
26.		NIST gives up enriching most CVEs (risky.biz)
		208 points by mooreds 20 hours ago \| hide \| 51 comments
27.		Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios)
		12 points by olliewagner 3 hours ago \| hide \| 1 comment
28.		Claude Code Opus 4.7 keeps checking on malware
		17 points by decide1000 1 hour ago \| hide \| 11 comments
29.		Introducing: ShaderPad (rileyjshaw.com)
		103 points by evakhoury 15 hours ago \| hide \| 18 comments
30.		Casus Belli Engineering (marcosmagueta.com)
		47 points by b-man 10 hours ago \| hide \| 14 comments
		More