Formally modeling database migrations - Article that uses the Allow model checking software to model a database migration to ensure consistency between schemas, I'm hoping to get back to this at some stage when I have more time hillelwayne.com #

The tale of three dots in Javascript dev.to #