Bend推出可验证GPU并行编程语言

Bend是一门面向AI生成代码的编程语言，通过法律规则文件与形式化证明降低实现歧义和错误风险。其编译器支持接近C的单核性能，并可将代码并行化运行于GPU和CUDA环境。

事件进展（1 篇报道）

1. 2026-09-18 04:36
   Hacker News Bend – A language that blocks AI mistakes via proof and runs on GPUs

← 返回首页