RecodeX 重构消息，一种名为Bend的新编程语言发布，其设计目标是通过证明机制阻止AI在代码生成中引入错误，并可直接在GPU上运行。该语言相关讨论在技术社区获得148点热度与64条评论。