< prev1 / 10 more >

• 471Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo11 hours ago | 37 comments
• 35The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago | 3 comments
• 421Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn14 hours ago | 31 comments
• 325The American Healthcare Conundrum (github.com)
  by rexroad15 hours ago | 46 comments
• 400The “small web” is bigger than you might think (kevinboone.me)
  by speckx15 hours ago | 40 comments
• 184Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-5 hours ago | 19 comments
• 559US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman8 hours ago | 43 comments
• 24Gitana 18: the new flying Ultim trimaran (boatnews.com)
  by divbzero4 days ago | 3 comments
• 67Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
  by Anon843 days ago | 7 comments
• 104Monkey Island for Commodore 64 Ground Up (pixeldust.se)
  by aresant4 hours ago | 10 comments

< prev1 / 10 more >