< 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 >