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