3 ms·formal verification is about functionality, not about your emotions.by HillBates 4y agoformal verification is about functionality, not about your emotions.zen_1 4y agoHaven't you heard? The only bugs are those caused by memory safety, and only switching to Rust can save us from the insanity of managing our own memory.jnash 4y agoYou are joking right? Just checking :)zen_1 4y agoYes, I was being quite sarcastic above