< prev1 / 10 more >

• 423US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman4 hours ago | 35 comments
• 373Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo7 hours ago | 32 comments
• 13Monkey Island for Commodore 64 Ground Up (pixeldust.se)
  by aresant51 minutes ago | 1 comments
• 382Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn10 hours ago | 29 comments
• 28Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-1 hour ago | 7 comments
• 350The “small web” is bigger than you might think (kevinboone.me)
  by speckx11 hours ago | 36 comments
• 286The American Healthcare Conundrum (github.com)
  by rexroad11 hours ago | 39 comments
• 25Lf-lean: The frontier of verified software engineering (theorem.dev)
  by alpaylan4 days ago | 3 comments
• 9Zenclora OS (zenclora.org)
  by debo_41 minutes ago | 2 comments
• 24Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
  by aphyr1 hour ago | 3 comments

< prev1 / 10 more >