DNS as a Filesystem: A Practical Study in Applied Category Theory (loss.dev) 1 points by graemefawcett 7mo ago ↗ HN
[–] graemefawcett 7mo ago ↗ 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
[–] gloyoyo 7mo ago ↗ These DNSFS implementations make me giggle.Yeah, someone, somewhere is using it to at least run a website or something.Hacker praise!
2 comments
[ 2.8 ms ] story [ 18.7 ms ] threadIf Hom(X, DNS) ≅ Hom(X, Filesystem) for all relevant X, then DNS ≅ Filesystem.
Wherein we prove it is
Yeah, someone, somewhere is using it to at least run a website or something.
Hacker praise!