Hacker News Reader

I've come across this repo which use TLA+ to validate data migrations. https://github.com/Shopify/ghostferry

This is really cool! I'm continually blown away by the quality of some of the projects Shopify open sources.