Bend
Bend is a fast language designed to prevent AI errors through proof-checking. In an age where AI will build the world around us, precise instructions are crucial. While laws provide clarity, proofs ensure AI executes prompts accurately. Bend compiles to native code, running nearly as quickly as C on one core and up to a hundred times faster with multiple cores or GPUs.
Its type checker functions as a proof checker, similar to Lean and Rocq, enabling instant verification after each code change. With no threads, locks, or kernels to manage, Bend efficiently distributes tasks across all available cores. To maintain trust in AI-generated code, Bend requires proofs. Laws, declared in LAWS.bend, prevent any AI from breaking these rules.
For instance, pow2 demonstrated Bend's capabilities by running on 4,096 GPU cores. Laws.bend governs AI behavior, ensuring no erroneous code is shipped. The merging of code is now a mathematical certainty, as it becomes a theorem when adhering to laws. Bend's AGENTS.md is fortified by proof, ensuring error-free execution. Users are encouraged to request laws for any critical constraints and parallelize tasks for optimal performance.
Bend is still in its early stages, so reporting any issues is appreciated. Currently, Bend operates best on Linux and macOS back-end environments.
Written by urgent.news from Hacker News's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
