logoNewsNewestAskShowJobs Open on GitHub
< prev1 / 10 more >
  • 5A Dumb Introduction to Z3 (ar-ms.me)
    by y1n04 days ago | 2 comments
  • 237Spending 3 months coding by hand (miguelconner.substack.com)
    by evakhoury20 hours ago | 40 comments
  • 91Brunost: The Nynorsk Programming Language (lindbakk.com)
    by atomfinger4 days ago | 15 comments
  • 233Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
    by louiereederson2 days ago | 31 comments
  • 181A simplified model of Fil-C (corsix.org)
    by aw162110715 hours ago | 5 comments
  • 63Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
    by riteshnoronha164 days ago | 13 comments
  • 11Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists (ipvm.com)
    by jhonovich55 minutes ago | 2 comments
  • 362Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com)
    by binsquare19 hours ago | 38 comments
  • 217"cat readme.txt" is not safe if you use iTerm2 (blog.calif.io)
    by arkadiyt18 hours ago | 38 comments
  • 202Slop Cop (awnist.com)
    by ericHosick21 hours ago | 43 comments
< prev1 / 10 more >