NewsNewestAskShowJobs Open on GitHub
< 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 >