prev 1 / 10 more

• 660
  Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo19 hours ago 54 comments
• 25
  Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss' (tomshardware.com)
  by crtasm44 minutes ago 1 comments
• 174
  The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago 13 comments
• 94
  Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
  by zggf7 hours ago 10 comments
• 46
  Gummy Geometry (newkrok.github.io)
  by memalign3 days ago 5 comments
• 1123
  Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec11 hours ago 176 comments
• 91
  A proposal to classify happiness as a psychiatric disorder (nlm.nih.gov)
  by wjSgoWPm5bWAhXB2 hours ago 19 comments
• 7
  Diels-grabsch2: Self Hashing C Program (2019) (ioccc.org)
  by icwtyjj4 days ago 1 comments
• 442
  The American Healthcare Conundrum (github.com)
  by rexroad22 hours ago 66 comments
• 476
  Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn21 hours ago 38 comments

prev 1 / 10 more