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