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

2 comments

• graemefawcett 20 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 19 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 18 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