Bend 2 proof-checks AI's code against laws you write, on the GPU
Victor Taelin's new language loops the AI until your invariants hold — plus Codex gains voice and Bedrock, and OpenAI's legal model heads to the API.
Copy markdown
The compiler now rejects code that breaks your rules
You write invariants in a LAWS.bend file, and every time an AI edits the code Bend mathematically checks the laws still hold, looping the agent until they do. A one-line law like "the sum of all balances is zero" would have caught the DAO hack.
One C file, from your laptop to a 4090
Bend 2 compiles to a single C file that runs on CPU, Metal, and CUDA, with linear types and automatic parallelism across thousands of GPU threads. Install in one line: curl -fsSL https://bend-lang.com/install.sh | sh.
Read the LAWS file, not the whole repo
The pitch for AI-heavy codebases: you review a small LAWS.bend instead of every diff. The catch is that laws only guard what you remember to write, the stdlib is still thin, and there's no mathlib yet for hard proofs.
Codex 0.155 adds voice, tasks, and Bedrock keys
OpenAI's Codex CLI shipped live voice conversations, streaming reasoning summaries, agent task management, Touch ID confirmation, and Amazon Bedrock credential support. The 0.155.1 patch right after unbroke local TUI sessions.
Elsewhere: OpenAI's legal model heads to the API
Astra for Law, a GPT-6 variant tuned for legal search, is coming to the API as "gpt-6-astra-law" with 26 ecosystem plugins wiring into tools like Relativity and Clio. Harvey and Legora are early builders; it's Trusted-Access gated for now.
Elsewhere: OpenAI's legal model heads to the API
Astra for Law, a GPT-6 variant tuned for legal search, is coming to the API as "gpt-6-astra-law" with 26 ecosystem plugins wiring into tools like Relativity and Clio. Harvey and Legora are early builders; it's Trusted-Access gated for now.