DNS as a Filesystem: A Practical Study in Applied Category Theory

loss.dev

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

Reply on news.ycombinator.com