3 ms·Linus really needs to start having more formal verification around patches.by crb002 9y agoLinus really needs to start having more formal verification around patches.