Hacker News · AI·9d agoBend – A language that blocks AI mistakes via proof and runs on GPUs#ai-agents#bend#cudaAI tools & infra 3 min