Caligin Tsukihara is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

In the last few weeks I've been experimenting with to check for correctness on a distributed application, here's a writeup of where I got to & how: caligin.github.io/2017/08/29/e

Caligin Tsukihara @caligin

here's the followup post of my earlier tinkering with to systems: caligin.github.io/2017/08/29/e
this time about modeling, locking and being wrong!

· Web · 0 · 0