3 ms·
The article mentions it not being bug-free, what are some of the bugs?
by endisneigh 4y ago
The article mentions it not being bug-free, what are some of the bugs?
- losfair 4y agoSoftware that is not formally verified contains bugs. All known correctness bugs are fixed (except experimental features) - this is just a reminder that you need more than one layers of defense for something that stores your critical data.
- IshKebab 4y agoNormally when people say "it's not bug free" they mean that there are important known bugs that haven't been fixed. Otherwise it is a pretty meaningless thing to say. Not even formally verified software is definitely bug free.