< prev1 / 10 more >

• 498Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec5 hours ago | 80 comments
• 551Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo13 hours ago | 44 comments
• 5Kagi Small Web (kagi.com)
  by trueduke7 minutes ago | 1 comments
• 78The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago | 7 comments
• 439Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn15 hours ago | 35 comments
• 6Grace Hopper's Revenge (thefuriousopposites.com)
  by ashirviskas34 minutes ago | 1 comments
• 430The “small web” is bigger than you might think (kevinboone.me)
  by speckx16 hours ago | 42 comments
• 350The American Healthcare Conundrum (github.com)
  by rexroad16 hours ago | 49 comments
• 36Gitana 18: the new flying Ultim trimaran (boatnews.com)
  by divbzero4 days ago | 5 comments
• 236Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-6 hours ago | 34 comments

< prev1 / 10 more >