DNS as a Filesystem: A Practical Study in Applied Category Theory (opens in new tab)

(loss.dev)

1 pointsgraemefawcett3mo ago3 comments

3 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

gloyoyo3mo ago

These DNSFS implementations make me giggle.

Yeah, someone, somewhere is using it to at least run a website or something.

Hacker praise!

graemefawcettOP3mo ago

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

j / k navigate · click thread line to collapse

3 comments

graemefawcettOP3mo 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

gloyoyo3mo ago

These DNSFS implementations make me giggle.

Yeah, someone, somewhere is using it to at least run a website or something.

Hacker praise!

graemefawcettOP3mo ago

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

j / k navigate · click thread line to collapse