< prev1 / 10 more >

• 530Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo12 hours ago | 43 comments
• 63The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago | 6 comments
• 434Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn15 hours ago | 34 comments
• 421The “small web” is bigger than you might think (kevinboone.me)
  by speckx16 hours ago | 42 comments
• 341The American Healthcare Conundrum (github.com)
  by rexroad16 hours ago | 47 comments
• 222Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-6 hours ago | 28 comments
• 33Gitana 18: the new flying Ultim trimaran (boatnews.com)
  by divbzero4 days ago | 5 comments
• 573US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman9 hours ago | 43 comments
• 82Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
  by Anon843 days ago | 7 comments
• 73Pyodide: a Python distribution based on WebAssembly (github.com)
  by tosh3 days ago | 12 comments

< prev1 / 10 more >