3 ms·
I thought the message at the end about people expecting full correctness was a bit off; after all, if we expected fully-correct programs, we would be proving th
by MostAwesomeDude 15y ago
I thought the message at the end about people expecting full correctness was a bit off; after all, if we expected fully-correct programs, we would be proving them instead of writing C.
- ezyang 15y agoThey're poking fun at the formal methods community, which spends a lot of time doing research in this direction. Percolation of these techniques back to industry has been... less than stellar.