Hacker News new | ask | show | jobs
by HillBates 1453 days ago
formal verification is about functionality, not about your emotions.
1 comments
zen_1 1453 days ago
Haven'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.
link
jnash 1452 days ago
You are joking right? Just checking :)
link
zen_1 1452 days ago
Yes, I was being quite sarcastic above
link