DNS as a Filesystem: A Practical Study in Applied Category Theory
loss.devTwo systems are isomorphic when they admit the same morphisms—when the set of valid transformations applicable to one equals those applicable to the other.
If Hom(X, DNS) ≅ Hom(X, Filesystem) for all relevant X, then DNS ≅ Filesystem.
Wherein we prove it is
These DNSFS implementations make me giggle.
Yeah, someone, somewhere is using it to at least run a website or something.
Hacker praise!
I had a sickie yesterday with nothing better to do than attempt to prove isomorphism across domains
Like drawing lines on a mids menu but for grown ups when the price is right isn't on