Skip to content

“Even that AWS runs critical infrastructure for millions of…” — Software Engineering Daily at 9:57

Software Engineering Daily Formal Methods as Agent Guardrails

“Even that AWS runs critical infrastructure for millions of customers like going back to some of your work with like the drivers and sort of proving whether they can run successfully or not.”

0:00 50:29