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