“program. If you write the program more complicated, like I…” — Software Engineering Daily at 11:12
“program. If you write the program more complicated, like I said before, we have a verifier. And the verifier will reject the program because it's too complicated for you to recognize if it's safe or not. So you will encounter many problems. So the people just keep working on this, keep optimizing the entire system.…”
0:00
47:57