2 Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint 264 points 82 comments prismml.com
3 Bend – A language that blocks AI mistakes via proof, on CPU and GPU 326 points 168 comments bend-lang.com
4 Hister: A private search engine for the pages you visit and the files you keep 493 points 139 comments github.com