prev 1 / 10 more

• 648
  Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo18 hours ago 53 comments
• 7
  Diels-grabsch2: Self Hashing C Program (2019) (ioccc.org)
  by icwtyjj4 days ago 0 comments
• 165
  The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago 13 comments
• 80
  Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
  by zggf6 hours ago 8 comments
• 40
  Gummy Geometry (newkrok.github.io)
  by memalign3 days ago 3 comments
• 474
  Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn20 hours ago 37 comments
• 423
  The American Healthcare Conundrum (github.com)
  by rexroad21 hours ago 62 comments
• 16
  FFmpeg 8.1 (ffmpeg.org)
  by gyan18 minutes ago 1 comments
• 189
  Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
  by Anon844 days ago 11 comments
• 485
  The “small web” is bigger than you might think (kevinboone.me)
  by speckx21 hours ago 45 comments

prev 1 / 10 more