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 #Jepsen to check for correctness on a distributed application, here's a writeup of where I got to & how: https://caligin.github.io/2017/08/29/experimenting-with-jepsen.html
here's the followup post of my earlier tinkering with #Jepsen to #test #distributed systems: https://caligin.github.io/2017/08/29/experimenting-with-jepsen-2.html
this time about modeling, locking and being wrong!