< prev1 / 10 more >

• 14A Dumb Introduction to Z3 (2025) (ar-ms.me)
  by y1n04 days ago | 4 comments
• 383All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
  by cybermango20 hours ago | 31 comments
• 148Towards trust in Emacs (eshelyaron.com)
  by eshelyaron3 days ago | 11 comments
• 249I’m spending months coding the old way (miguelconner.substack.com)
  by evakhoury22 hours ago | 40 comments
• 71The simple geometry behind any road (sandboxspirit.com)
  by azhenley2 days ago | 7 comments
• 103Brunost: The Nynorsk Programming Language (lindbakk.com)
  by atomfinger4 days ago | 17 comments
• 248Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
  by louiereederson3 days ago | 32 comments
• 189A simplified model of Fil-C (corsix.org)
  by aw162110716 hours ago | 5 comments
• 375Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com)
  by binsquare21 hours ago | 39 comments
• 238Hyperscalers have already outspent most famous US megaprojects (twitter.com)
  by nowflux22 hours ago | 26 comments

< prev1 / 10 more >