Bend2 Language Promises C And CUDA Speeds With AI-Driven Proofs · Digg