Victor Taelin, a Brazilian developer, has announced Bend 2, a programming language designed to reduce errors in AI-generated code by incorporating proof checking—a technique used by AI companies to tackle unsolved mathematical problems.
Bend 2 is a redesigned version of Bend, the high-level programming language Taelin released in 2024. The original Bend distinguished itself through parallel execution capabilities, leveraging CPU and GPU threads to run operations simultaneously. The updated version builds on this foundation while adding verification mechanisms to catch flaws in code produced by AI systems.
The project is open-source and available in the bendlang/bend repository on GitHub, making it accessible to developers interested in exploring AI-assisted coding with built-in safeguards.