Reading up on Bend
1 deep · digging since sep 18
- Bend – a language that blocks AI mistakes via proof and runs on GPUs
Bend is a new programming language that uses formal proof techniques to prevent AI mistakes and is designed to run efficiently on GPU hardware.