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

2 comments

• graemefawcett 7 hours 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 7 hours ago
  These DNSFS implementations make me giggle.

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

  Hacker praise!

  [-]
  • graemefawcett 6 hours 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