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