Screenshot pending…Should we design for iffy internet?(bytes.zone)65 points by surprisetalk 1 year ago | 38 comments
Modeling CRDTs in Alloy – the importance of idempotence(bytes.zone)106 points by brianhicks 3 years ago | 5 comments
Modeling Git Internals in Alloy, Part 2: Commits and Tags(bytes.zone)110 points by surprisetalk 3 years ago | 16 comments