I'm surprised Unison's approach hasn't caught on more widely. ISTR Joe Armstrong of Erlang was experimenting with something similar in a related domain, https:

I'm surprised Unison's approach hasn't caught on more widely. ISTR Joe Armstrong of Erlang was experimenting with something similar in a related domain, https://joearms.github.io/published/2015-03-12-The_web_of_names.html https://joearms.github.io/published/2015-03-12-The_web_of_na... https://news.ycombinator.com/item?id=2580383 https://news.ycombinator.com/item?id=2580383 (The OP is a very well written article btw, nice work!)