logoNewsNewestAskShowJobs Built with Nuxt3
< 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 >