< prev1 / 10 more >

• 457US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman5 hours ago | 36 comments
• 48Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec44 minutes ago | 7 comments
• 39Monkey Island for Commodore 64 Ground Up (pixeldust.se)
  by aresant1 hour ago | 4 comments
• 386Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo8 hours ago | 32 comments
• 55Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-2 hours ago | 10 comments
• 390Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn11 hours ago | 30 comments
• 359The “small web” is bigger than you might think (kevinboone.me)
  by speckx12 hours ago | 36 comments
• 29Lf-lean: The frontier of verified software engineering (theorem.dev)
  by alpaylan4 days ago | 3 comments
• 293The American Healthcare Conundrum (github.com)
  by rexroad12 hours ago | 41 comments
• 10Claude Tips for 3D Work (davesnider.com)
  by snide3 days ago | 0 comments

< prev1 / 10 more >