3 ms·
DNS as a Filesystem: A Practical Study in Applied Category Theory
- graemefawcett 10mo agoTwo 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 10mo agoThese DNSFS implementations make me giggle. Yeah, someone, somewhere is using it to at least run a website or something. Hacker praise!
- graemefawcett 10mo agoI 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