rbr94

3 ms·

1. 1.▲
   by rbr94 20d ago

   https://archive.is/WXpy1
2. 2.▲
   by rbr94 28d 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 2mo 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