#bend on Hacker News

2 stories tagged bend, newest first.

Bend – A language that blocks AI mistakes via proof, on CPU and GPU (bend-lang.com)

564 points by nicolas-siplis 1 month ago | 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.

948 points by LightMachine 2 years ago | 179 comments

GitHub repository for Bend, a massively parallel, high-level programming language from HigherOrderCO that runs on GPUs via the HVM2 runtime.