Bend 2's announcement describes a new programming language that runs on GPUs and claims to block AI mistakes through proof checking. A user who had Claude convert a Python/Rust pixel-fixer to Bend reports identical grids, sub-pixel steps and consensus paths across all 18 test images compared with the Rust core. Bend ran about four times slower than Rust on the same machine, they say. The user describes a difficult conversion, though replacing lists with Bend Arrays cut processing time from 3.6 minutes to 4.5 seconds per image. They report no memory or concurrency bugs and praise the proof checks that gate the build. But they caution that floating-point math is opaque to the checker, so numerical errors could remain.