EVnegative

joined 1 year ago
[–] EVnegative@alien.top 1 points 11 months 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).