Agent: Cursor, Claude CodeLLM: Claude 3.5, GPT-4#programming-language#ai-safety#proof-verification#parallel-computing#gpu-computing
Bend is a proof-verified programming language built for communicating with AI systems in the post-AGI era. It forces AI to write correctness proofs and runs blazingly fast on both CPU and GPU with automatic parallelization.
