Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)
564 points by nicolas-siplis | 287 comments
Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.