undefined | Better HN

Skip to content

Top New Best Ask Show Jobs

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

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