Bend

开发者在编写并行或 GPU 程序时，需要同时处理正确性验证与硬件调度，通常要分别写验证代码和并行代码。Bend 让开发者用同一份源码表达并行计算，并借助证明机制在编译阶段拦截 AI 生成代码中的错误，最终产出可在 CPU 或 GPU 上运行的程序；具体语言特性、工具链成熟度与交付流程仍待核验。

推断：若证明机制真能在编译阶段拦截错误，工程师可省去为 AI 生成代码补写验证脚本这一步，并在同一份源码上切换 CPU 与 GPU；但候选材料只有官网定位与社区讨论热度，缺少文档、实测或用户反馈来支撑这一因果，因此尚不能确认用户会因此选择它。

收集 Bend 官方文档与仓库中的语言特性说明、编译与 GPU 运行示例，以及 issue/discussion 中关于证明机制实际拦截错误的可复现记录。