“Bug-free operating systems within a few years [...] bug-free code has been in the mememetic space of obviously absurd naive pipe dream for two decades. It is going to flip out of that space faster than most people expect.”

- Vitalik Buterin