vitzli-mmc@alien.topB to Data HoarderEnglish · 2 years agoHeads up for a data corruption bug in ZFS, few versions affected, might have started at 2.1.x, but many reports on 2.2.xgithub.comexternal-linkmessage-square28linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHeads up for a data corruption bug in ZFS, few versions affected, might have started at 2.1.x, but many reports on 2.2.xgithub.comvitzli-mmc@alien.topB to Data HoarderEnglish · 2 years agomessage-square28linkfedilink
minus-squareEVnegative@alien.topBlinkfedilinkEnglisharrow-up1·2 years agoIt’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).
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).