blabaere ✋🔼🤚In case you people did not get what this is all about and why it is exciting:
"... we can ensure that a distributed system is deadlock-free by construction ..."
https://recurse.social/@lindsey/113682288932613673
@lindsey : all typos are forgiven.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.