https://archive.is/WXpy1
> ... 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) heaviy…
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 works,…
https://archive.is/WXpy1
> ... 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) heaviy…
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 works,…