Carl Sverre is on the Red Team at Antithesis. He joins Sean Falconer to discuss software verification, deterministic simulation testing, edge cases, distributed systems, and testing AI generated code.