logoNewsNewestAskShowJobs Built with Nuxt3
< prev1/10 more >
  • 669Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    by Poudlardo19 hours ago | 55 comments
  • 14Show HN: Antfly: Distributed, Multimodal Search and Memory and Graphs in Go (github.com)
    by kingcauchy36 minutes ago | 1 comments
  • 30Perlsky Is a Perl 5 Implementation of an at Protocol Personal Data Server (tangled.org)
    by mooreds4 days ago | 1 comments
  • 180The unlikely story of Teardown Multiplayer (blog.voxagon.se)
    by lairv4 days ago | 13 comments
  • 4The Official GBBS Pro Repository (gbbs.applearchives.com)
    by js24 days ago | 0 comments
  • 97Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
    by zggf8 hours ago | 10 comments
  • 1137Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
    by smitec11 hours ago | 178 comments
  • 8Diels-grabsch2: Self Hashing C Program (2019) (ioccc.org)
    by icwtyjj4 days ago | 1 comments
  • 449The American Healthcare Conundrum (github.com)
    by rexroad23 hours ago | 70 comments
  • 478Meta’s renewed commitment to jemalloc (engineering.fb.com)
    by hahahacorn22 hours ago | 39 comments
< prev1/10 more >