rbr94

6 ms·

1. 1.▲
   by rbr94 8d ago

   https://archive.is/WXpy1
2. 2.▲
   by rbr94 16d ago

   > ... and model checkers can instantly catch errors. Lol. If that were true software would've been a lot better historically... Model checkers don't scale to 90% of the software we write. Typically you have to 1) heavily abstra
3. 3.▲
   by rbr94 1mo ago

   For anyone looking for an easily digestible primer on choreographies: https://decomposition.al/zines/communicating-chorrectly-zine... Too bad the github readme doesn't explain how the choreographic side of Wyzer w