Bend is a programming language designed to run code as fast as C on CPUs and CUDA on GPUs, while letting you define mathematical laws that the compiler enforces to prevent AI-generated code from breaking your app's core rules. You write laws in a LAWS.bend file, and the compiler demands proof that any code changes satisfy those rules before merging.

• The language compiles to single-core C speeds and parallelizes automatically across thousands of GPU cores without manual threading or locks.
• LAWS.bend lets you declare invariants (like "winning is impossible" or "array_set() never goes out of bounds") that the compiler mathematically verifies, blocking AI mistakes at commit time instead of catching them in production.
• The proof checker runs orders of magnitude faster than existing proof assistants—verifying files in under a second that would take minutes elsewhere—making formal verification practical for everyday development.

Reflection AI will pay $150 million per month from July 2026 through 2029 for Nvidia GB300 chips and hardware at SpaceX’s Colossus 2 data center in Tennessee, in a contract worth up to $6.3 billion. The open-source-focused startup calls this its first major compute deal and one of the largest infrastructure commitments in the open AI space.

• Reflection AI committed to $150M/month from July 2026-2029 (up to $6.3B total) for Nvidia GB300 chips at SpaceX's Colossus 2 data center, with 90-day cancellation option after the first quarter
• This dwarfs in comparison to Anthropic ($1.25B/month) and Google ($920M/month) deals for the same facility, but is still notable as a small startup's first major compute deal
• Colossus began as xAI's private training hub before SpaceX absorbed it and opened capacity to outside labs once xAI's plans stalled
• Reflection positions itself as an open-weight lab, arguing this reduces vendor lock-in and geopolitical risk, gaining relevance after the U.S. blocked Anthropic's closed models Fable and Mythos