DNS as a Filesystem: A Practical Study in Applied Category Theoryloss.dev 1 pointgraemefawcett8 months ago3 commentsSaveHideCopy link On HNComments−graemefawcettOP8moTwo 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−gloyoyo8moThese DNSFS implementations make me giggle.Yeah, someone, somewhere is using it to at least run a website or something.Hacker praise!−graemefawcettOP8moI had a sickie yesterday with nothing better to do than attempt to prove isomorphism across domainsLike drawing lines on a mids menu but for grown ups when the price is right isn't on
Comments
Two 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