EVnegative

joined 2 years ago
sorted by: new top controversial old
Heads up for a data corruption bug in ZFS, few versions affected, might have started at 2.1.x, but many reports on 2.2.x in c/datahoarder@selfhosted.forum
[–] EVnegative@alien.top 1 points 2 years ago

It's too bad file system code isn't easy to verify. It would be great if there was a file system that was formally verified (https://en.wikipedia.org/wiki/Formal_verification).