Yes. Most people don’t actually understand what a program proof is - the answer is usually ‘I have very good tests’. Now, go write the code for an artificial h

Yes. Most people don’t actually understand what a program proof is - the answer is usually ‘I have very good tests’. Now, go write the code for an artificial heart , and sleep at night thanks to strong testing !