4 Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint 323 points 106 comments prismml.com
5 Bend – A language that blocks AI mistakes via proof, on CPU and GPU 365 points 186 comments bend-lang.com