- 62State of Kdenlive (kdenlive.org)
- 13Why Japan has such good railways (worksinprogress.co)
- 185Michael Rabin Has Died (en.wikipedia.org)
- 134Category Theory Illustrated – Orders (abuseofnotation.github.io)
- 143Amiga Graphics (amiga.lychesis.net)
- 1090Claude Design (anthropic.com)
- 56It's OK to compare floating-points for equality (lisyarus.github.io)
- 205Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
- 629Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
- 142Towards trust in Emacs (eshelyaron.com)
- 40The quiet disappearance of the free-range childhood (bigthink.com)
- 240Spending 3 months coding by hand (miguelconner.substack.com)
- 94Brunost: The Nynorsk Programming Language (lindbakk.com)
- 7A Dumb Introduction to Z3 (ar-ms.me)
- 239Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
- 3Binary Encodings for JSON and Variant (jincongho.com)
- 186A simplified model of Fil-C (corsix.org)
- 65Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
- 58The simple geometry behind any road (sandboxspirit.com)
- 222"cat readme.txt" is not safe if you use iTerm2 (blog.calif.io)
- 224Hyperscalers have already outspent most famous US megaprojects (twitter.com)
- 204Slop Cop (awnist.com)
- 247Middle schooler finds coin from Troy in Berlin (thehistoryblog.com)
- 288NASA Force (nasaforce.gov)