| 1. | | Category Theory Illustrated – Orders (abuseofnotation.github.io) |
| 120 points by boris_m 5 hours ago | hide | 34 comments |
|
| 2. | | Michael Rabin Has Died (wikipedia.org) |
| 140 points by tkhattra 5 hours ago | hide | 10 comments |
|
| 3. | | Amiga Graphics (lychesis.net) |
| 129 points by sph 5 hours ago | hide | 17 comments |
|
| 4. | | Claude Design (anthropic.com) |
| 1081 points by meetpateltech 21 hours ago | hide | 710 comments |
|
| 5. | | It's OK to compare floating-points for equality (lisyarus.github.io) |
| 30 points by coinfused 3 hours ago | hide | 19 comments |
|
| 6. | | Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io) |
| 191 points by fouronnes3 8 hours ago | hide | 38 comments |
|
| 7. | | State of Kdenlive (kdenlive.org) |
| 4 points by f_r_d 35 minutes ago | hide | discuss |
|
| 8. | | Measuring Claude 4.7's tokenizer costs (claudecodecamp.com) |
| 624 points by aray07 20 hours ago | hide | 442 comments |
|
| 9. | | Towards trust in Emacs (eshelyaron.com) |
| 134 points by eshelyaron 10 hours ago | hide | 18 comments |
|
| 10. | | All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int) |
| 356 points by cybermango 18 hours ago | hide | 205 comments |
|
| 11. | | Spending 3 months coding by hand (miguelconner.substack.com) |
| 234 points by evakhoury 16 hours ago | hide | 244 comments |
|
| 12. | | Brunost: The Nynorsk Programming Language (lindbakk.com) |
| 88 points by atomfinger 8 hours ago | hide | 33 comments |
|
| 13. | | Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com) |
| 59 points by riteshnoronha16 7 hours ago | hide | 24 comments |
|
| 14. | | It is incorrect to "normalize" // in HTTP URL paths (runxiyu.org) |
| 47 points by pabs3 6 hours ago | hide | 37 comments |
|
| 15. | | Are the costs of AI agents also rising exponentially? (2025) (tobyord.com) |
| 229 points by louiereederson 15 hours ago | hide | 71 comments |
|
| 16. | | A simplified model of Fil-C (corsix.org) |
| 179 points by aw1621107 14 hours ago | hide | 99 comments |
|
| 17. | | Claude Code Opus 4.7 keeps checking on malware |
| 27 points by decide1000 1 hour ago | hide | 16 comments |
|
| 18. | | Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com/smol-machines) |
| 350 points by binsquare 18 hours ago | hide | 116 comments |
|
| 19. | | The simple geometry behind any road (sandboxspirit.com) |
| 55 points by azhenley 6 hours ago | hide | 7 comments |
|
| 20. | | Slop Cop (awnist.com) |
| 202 points by ericHosick 19 hours ago | hide | 119 comments |
|
| 21. | | "cat readme.txt" is not safe if you use iTerm2 (calif.io) |
| 210 points by arkadiyt 17 hours ago | hide | 126 comments |
|
| 22. | | Hyperscalers have already outspent most famous US megaprojects (twitter.com/finmoorhouse) |
| 213 points by nowflux 19 hours ago | hide | 173 comments |
|
| 23. | | Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com/paniclock) |
| 206 points by seanieb 19 hours ago | hide | 95 comments |
|
| 24. | | Middle schooler finds coin from Troy in Berlin (thehistoryblog.com) |
| 243 points by speckx 21 hours ago | hide | 114 comments |
|
| 25. | | The quiet disappearance of the free-range childhood (bigthink.com) |
| 8 points by sylvainkalache 34 minutes ago | hide | discuss |
|
| 26. | | NASA Force (nasaforce.gov) |
| 281 points by LorenDB 20 hours ago | hide | 277 comments |
|
| 27. | | Loonies for Loongsons (leadedsolder.com) |
| 13 points by zdw 2 hours ago | hide | 2 comments |
|
| 28. | | Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios) |
| 14 points by olliewagner 4 hours ago | hide | 2 comments |
|
| 29. | | Landmark ancient-genome study shows surprise acceleration of human evolution (nature.com) |
| 87 points by unsuspecting 13 hours ago | hide | 84 comments |
|
| 30. | | NIST gives up enriching most CVEs (risky.biz) |
| 208 points by mooreds 21 hours ago | hide | 51 comments |
|
|
| More |
