DNS as a Filesystem: A Practical Study in Applied Category Theory(loss.dev)
loss.dev
DNS as a Filesystem: A Practical Study in Applied Category Theory
https://loss.dev/?node=honk-protocol
3 コメント
These DNSFS implementations make me giggle.
Yeah, someone, somewhere is using it to at least run a website or something.
Hacker praise!
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
Like drawing lines on a mids menu but for grown ups when the price is right isn't on
If Hom(X, DNS) ≅ Hom(X, Filesystem) for all relevant X, then DNS ≅ Filesystem.
Wherein we prove it is