< prev1 / 10 more >

• 456Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo11 hours ago | 36 comments
• 417Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn13 hours ago | 30 comments
• 21The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago | 1 comments
• 23Gitana 18: the new flying Ultim trimaran (boatnews.com)
  by divbzero4 days ago | 2 comments
• 394The “small web” is bigger than you might think (kevinboone.me)
  by speckx14 hours ago | 38 comments
• 551US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman8 hours ago | 42 comments
• 175Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-4 hours ago | 18 comments
• 60Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
  by Anon843 days ago | 4 comments
• 390Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec3 hours ago | 67 comments
• 324The American Healthcare Conundrum (github.com)
  by rexroad14 hours ago | 46 comments

< prev1 / 10 more >