2 ms·
I've come across this repo which use TLA+ to validate data migrations. https://github.com/Shopify/ghostferry https://github.com/Shopify/ghostferry
by unrequited 7y ago
I've come across this repo which use TLA+ to validate data migrations.
https://github.com/Shopify/ghostferry https://github.com/Shopify/ghostferry
- QuinnWilton 7y agoThis is really cool! I'm continually blown away by the quality of some of the projects Shopify open sources.