Hacker News

1.		Category Theory Illustrated – Orders (abuseofnotation.github.io)
		81 points by boris_m 4 hours ago \| hide \| 22 comments
2.		Amiga Graphics (lychesis.net)
		94 points by sph 4 hours ago \| hide \| 9 comments
3.		Michael Rabin Has Died (wikipedia.org)
		83 points by tkhattra 4 hours ago \| hide \| 2 comments
4.		Claude Design (anthropic.com)
		1064 points by meetpateltech 19 hours ago \| hide \| 690 comments
5.		Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
		177 points by fouronnes3 7 hours ago \| hide \| 32 comments
6.		Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
		620 points by aray07 19 hours ago \| hide \| 438 comments
7.		Towards trust in Emacs (eshelyaron.com)
		120 points by eshelyaron 9 hours ago \| hide \| 17 comments
8.		All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
		344 points by cybermango 16 hours ago \| hide \| 198 comments
9.		The simple geometry behind any road (sandboxspirit.com)
		41 points by azhenley 4 hours ago \| hide \| 6 comments
10.		Spending 3 months coding by hand (miguelconner.substack.com)
		217 points by evakhoury 14 hours ago \| hide \| 228 comments
11.		It's OK to compare floating-points for equality (lisyarus.github.io)
		9 points by coinfused 1 hour ago \| hide \| 4 comments
12.		It is incorrect to "normalize" // in HTTP URL paths (runxiyu.org)
		36 points by pabs3 5 hours ago \| hide \| 26 comments
13.		A simplified model of Fil-C (corsix.org)
		178 points by aw1621107 13 hours ago \| hide \| 96 comments
14.		Brunost: The Nynorsk Programming Language (lindbakk.com)
		74 points by atomfinger 7 hours ago \| hide \| 28 comments
15.		Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
		219 points by louiereederson 14 hours ago \| hide \| 59 comments
16.		Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
		49 points by riteshnoronha16 5 hours ago \| hide \| 19 comments
17.		Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com/smol-machines)
		341 points by binsquare 17 hours ago \| hide \| 109 comments
18.		"cat readme.txt" is not safe if you use iTerm2 (calif.io)
		196 points by arkadiyt 16 hours ago \| hide \| 113 comments
19.		Slop Cop (awnist.com)
		185 points by ericHosick 17 hours ago \| hide \| 112 comments
20.		Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com/paniclock)
		200 points by seanieb 18 hours ago \| hide \| 89 comments
21.		Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios)
		8 points by olliewagner 2 hours ago \| hide \| 1 comment
22.		Hyperscalers have already outspent most famous US megaprojects (twitter.com/finmoorhouse)
		202 points by nowflux 18 hours ago \| hide \| 162 comments
23.		NASA Force (nasaforce.gov)
		279 points by LorenDB 19 hours ago \| hide \| 272 comments
24.		Middle schooler finds coin from Troy in Berlin (thehistoryblog.com)
		240 points by speckx 20 hours ago \| hide \| 110 comments
25.		Landmark ancient-genome study shows surprise acceleration of human evolution (nature.com)
		84 points by unsuspecting 12 hours ago \| hide \| 73 comments
26.		NIST gives up enriching most CVEs (risky.biz)
		205 points by mooreds 19 hours ago \| hide \| 51 comments
27.		Casus Belli Engineering (marcosmagueta.com)
		43 points by b-man 9 hours ago \| hide \| 13 comments
28.		Introducing: ShaderPad (rileyjshaw.com)
		99 points by evakhoury 14 hours ago \| hide \| 18 comments
29.		The Unix executable as a Smalltalk method (2025) [video] (youtube.com)
		57 points by surprisetalk 13 hours ago \| hide \| 4 comments
30.		The GNU libc atanh is correctly rounded (hal.science)
		99 points by matt_d 14 hours ago \| hide \| 22 comments
		More