3 ms·
> unfortunately neither of them are formally verified operating systems with any kind of guarantees about correctness and security, so you've just got to keep u
by rixed 5y ago
> unfortunately neither of them are formally verified operating systems with any kind of guarantees about correctness and security, so you've just got to keep up with patches.
I'm unsure that conclusion follows from those premises, since patches are not formally verified either.
- shatteredgate 5y agoI should have explained it better. Good practice would be to add a regression test when making a bugfix patch, it's not as good as formal verification but it's better than nothing.