logo
NewsNewestShowJobs
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