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