“should we be investing more in formal verification so that…” — The Knowledge Project at 33:01
“should we be investing more in formal verification so that the operator of that code-generated machine can more easily verify that it does, in fact, do what they intended it is to do? And could a combination of a programming language that is more structurally correct and structurally safe and exposes more primitives…”
0:00
2:08:14