Cybernethics / Cybernéthique

You may remember that I am looking for a solution to the SNAIL problem, which will have to be based on epistemic monotonic logic. Well, monotone offers half of the solution, monotonic logic. And that is also the more useful half to me, considering that the instantaneous latency of my SNAIL networks is actually low: when my computers are connected to each other, then the communication latency between them is below a few tenths of seconds at most.

Since I'm beginning to get seriously interested in SNAIL, that is, Slow Networking with Atrocious Interchange Latency, I've done a bit of research as to decentralized replacements for CVS. After a liminary consultation of my pineal gland, here is what I've found, thanks notably to Rick Moene: There is indeed a package based on monotonic logic, appropriately named monotone (doh!). There are also several other promiseful software packages, including the following ones that attracted my attention: Arch, Codeville, DARCS, Meta-CVS. If you anything about these software projects and their rivals, I'm curious about you opinion. Meanwhile, I'll investigate these, and see which is most hackable.

( ... )