undefined | Better HN

0 pointsamelius5y ago0 comments

I'm only ever switching to a new filesystem if its correctness has been formally verified.

0 comments

2 comments · 1 top-level

tutfbhuf5y ago· 1 in thread

For which filesystems is that case?

ameliusOP5y ago

None. But the tools are there, so it should be possible.

j / k navigate · click thread line to collapse