Hacker News

1.		State of Kdenlive (kdenlive.org)
		31 points by f_r_d 1 hour ago \| hide \| 7 comments
2.		Michael Rabin Has Died (wikipedia.org)
		162 points by tkhattra 6 hours ago \| hide \| 18 comments
3.		Category Theory Illustrated – Orders (abuseofnotation.github.io)
		128 points by boris_m 6 hours ago \| hide \| 37 comments
4.		Amiga Graphics (lychesis.net)
		135 points by sph 6 hours ago \| hide \| 24 comments
5.		Claude Design (anthropic.com)
		1086 points by meetpateltech 21 hours ago \| hide \| 714 comments
6.		It's OK to compare floating-points for equality (lisyarus.github.io)
		46 points by coinfused 3 hours ago \| hide \| 27 comments
7.		Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
		197 points by fouronnes3 9 hours ago \| hide \| 39 comments
8.		Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
		628 points by aray07 21 hours ago \| hide \| 446 comments
9.		Towards trust in Emacs (eshelyaron.com)
		141 points by eshelyaron 11 hours ago \| hide \| 19 comments
10.		All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
		360 points by cybermango 18 hours ago \| hide \| 214 comments
11.		Spending 3 months coding by hand (miguelconner.substack.com)
		236 points by evakhoury 16 hours ago \| hide \| 251 comments
12.		Brunost: The Nynorsk Programming Language (lindbakk.com)
		91 points by atomfinger 9 hours ago \| hide \| 34 comments
13.		Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
		233 points by louiereederson 16 hours ago \| hide \| 79 comments
14.		A Dumb Introduction to Z3 (ar-ms.me)
		4 points by y1n0 2 hours ago \| hide \| 4 comments
15.		Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
		63 points by riteshnoronha16 7 hours ago \| hide \| 25 comments
16.		A simplified model of Fil-C (corsix.org)
		181 points by aw1621107 15 hours ago \| hide \| 99 comments
17.		Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com/smol-machines)
		359 points by binsquare 19 hours ago \| hide \| 117 comments
18.		"cat readme.txt" is not safe if you use iTerm2 (calif.io)
		215 points by arkadiyt 18 hours ago \| hide \| 126 comments
19.		Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists (ipvm.com)
		10 points by jhonovich 49 minutes ago \| hide \| 2 comments
20.		Slop Cop (awnist.com)
		202 points by ericHosick 19 hours ago \| hide \| 121 comments
21.		The quiet disappearance of the free-range childhood (bigthink.com)
		25 points by sylvainkalache 1 hour ago \| hide \| 13 comments
22.		The simple geometry behind any road (sandboxspirit.com)
		56 points by azhenley 6 hours ago \| hide \| 7 comments
23.		Hyperscalers have already outspent most famous US megaprojects (twitter.com/finmoorhouse)
		218 points by nowflux 20 hours ago \| hide \| 176 comments
24.		Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com/paniclock)
		209 points by seanieb 20 hours ago \| hide \| 97 comments
25.		Middle schooler finds coin from Troy in Berlin (thehistoryblog.com)
		245 points by speckx 22 hours ago \| hide \| 114 comments
26.		NASA Force (nasaforce.gov)
		283 points by LorenDB 21 hours ago \| hide \| 277 comments
27.		Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios)
		15 points by olliewagner 4 hours ago \| hide \| 3 comments
28.		Landmark ancient-genome study shows surprise acceleration of human evolution (nature.com)
		89 points by unsuspecting 14 hours ago \| hide \| 90 comments
29.		NIST gives up enriching most CVEs (risky.biz)
		211 points by mooreds 21 hours ago \| hide \| 51 comments
30.		Loonies for Loongsons (leadedsolder.com)
		14 points by zdw 3 hours ago \| hide \| 2 comments
		More