Skip to content

“So it's like in a sense, it's like far exceeded human…” — Software Engineering Daily at 20:07

Software Engineering Daily Formal Methods as Agent Guardrails

“So it's like in a sense, it's like far exceeded human capability long ago, but they were extremely brittle to use, right, to get the answer required you to understand logic.”

0:00 50:29