< prev 2 / 10 more >

• 13A Dumb Introduction to Z3 (ar-ms.me)
  by y1n04 days ago | 3 comments
• 376All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
  by cybermango19 hours ago | 31 comments
• 146Towards trust in Emacs (eshelyaron.com)
  by eshelyaron3 days ago | 11 comments
• 246Spending 3 months coding by hand (miguelconner.substack.com)
  by evakhoury21 hours ago | 40 comments
• 50Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists (ipvm.com)
  by jhonovich1 hour ago | 5 comments
• 99Brunost: The Nynorsk Programming Language (lindbakk.com)
  by atomfinger4 days ago | 16 comments
• 246Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
  by louiereederson3 days ago | 32 comments
• 67The simple geometry behind any road (sandboxspirit.com)
  by azhenley2 days ago | 6 comments
• 188A simplified model of Fil-C (corsix.org)
  by aw162110716 hours ago | 5 comments
• 373Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com)
  by binsquare20 hours ago | 39 comments

< prev 2 / 10 more >