This is the second version of Bend, a programming language that uses proofs to check whether AI-written code violates predefined rules. When an app's rules are declared as laws, every code change requires a proof that those laws hold, and the compiler checks it.
- I find the attempt to bring rules into the realm of determinism impressive.