Skip to content

“You're not going to go improve the correctness of the…” — Software Engineering Daily at 15:18

Software Engineering Daily Formal Methods as Agent Guardrails

“You're not going to go improve the correctness of the language runtime, the compiler, the microprocessor, the programmers running on.”

0:00 50:29