Venkatesh Rao@vgrSomething about the phrase "formal verification" makes me really suspicious5:47 AM · Jul 3, 20177 Likes
Meng Weng Wong@mengwong·Jul 3, 2017Replying to @vgrIt should! Formal verification consists in maximum suspiciousness of code, by code, modulo Knuth's Warning. https://brainyquote.com/quotes/quotes/d/donaldknut181622.html…1