Messages on the network can be dropped or delivered out of order. How do we model that?| bytes.zone
chasing out edge cases in a schema| bytes.zone
Making models in Alloy is fun and useful!| bytes.zone
Distributing the Great Backyard Bird Count| bytes.zone
Checking my assumptions about syncable data structures| bytes.zone
temporal properties in Alloy| bytes.zone
Understanding Git better by using lightweight formal methods| bytes.zone
Understanding Git better by using lightweight formal methods| bytes.zone
Understanding Git better by using lightweight formal methods| bytes.zone
ensure an action always fires if it's able| bytes.zone
using Alloy's fucntions to clarify intent| bytes.zone
fields as sets| bytes.zone
spoiler: it's for testing Alloy itself.| bytes.zone
The Value of a Model is More Making than Having| bytes.zone