< prev1/10 more >

• 28A Dumb Introduction to Z3 (2025) (ar-ms.me)
  by y1n04 days ago | 5 comments
• 652Measuring Claude 4.7's tokenizer costs (claudecodecamp.com)
  by aray071 day ago | 98 comments
• 396All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (esa.int)
  by cybermango21 hours ago | 31 comments
• 880386 Memory Pipeline (nand2mario.github.io)
  by wicket3 days ago | 0 comments
• 151Towards trust in Emacs (eshelyaron.com)
  by eshelyaron3 days ago | 11 comments
• 272I’m spending months coding the old way (miguelconner.substack.com)
  by evakhoury23 hours ago | 41 comments
• 86The simple geometry behind any road (sandboxspirit.com)
  by azhenley2 days ago | 7 comments
• 114Brunost: The Nynorsk Programming Language (lindbakk.com)
  by atomfinger4 days ago | 18 comments
• 265Are the costs of AI agents also rising exponentially? (2025) (tobyord.com)
  by louiereederson3 days ago | 33 comments
• 394Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com)
  by binsquare22 hours ago | 40 comments

< prev1/10 more >