A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMsgithub.com·4 pts·namin·2
A Scalable Communication Protocol for Networks of Large Language Modelsagoraprotocol.org·3 pts·namin·0
Show HN: Turn GitHub repos into tutorials with code that can be edited and runio.livecode.ch·4 pts·namin·1
Understanding Machine Learning: From Theory to Algorithms (Downloadable Book)cs.huji.ac.il·80 pts·namin·3