“Are there programming language designs that are designed…” — The Knowledge Project at 32:35
“Are there programming language designs that are designed so a human looking at it can very quickly evaluate, does this do what I intended it to do? There's an area of computer science I studied in college called formal verification, which at the time was turning a lot of computer programs into math proofs and finding…”
0:00
2:08:14