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.

Lindsey Kuper (@[email protected])

Fixed on my website! https://decomposition.al/zines/#communicating-chorrectly-with-a-choreography (You may have to hard-refresh your browser to get the latest PDFs if you looked at it before.)

recurse.social
@blabaere @lindsey that is a really nice way to talk about distributed systems. I had not heard about #ChoreographicProgramming before. Good introduction.