OSS
Bend 2 ships a language whose pitch is proof-checking AI-written code, at 21,032 stars and 502 HN points
Victor Taelin's Bend 2 (bendlang/bend, Apache-2.0, TypeScript toolchain) frames itself as a fast language that blocks AI mistakes via proof checking, targeting C-equivalent single-core speed and CUDA-equivalent GPU speed with the whole language running on GPU under memory unification. The repo dates to 2023-08-29 but the 2.0 launch is this week and drove 502 points on Hacker News overnight. Worth noting for anyone searching it: the launch spawned at least five same-day forks (lukasl-dev, phenomenon0, docxology, nothingnesses, PedroVIOliv) that rank high in search results with zero stars, so pin to bendlang/bend.
Source
↳ Follow the thread