Math Memes @lemmy.blahaj.zone siriusmart @lemmy.world 5mo ago the linux file system satisfies the zf axioms