I've used it for caching, batch processing, and concurrent web apps, and it's been a huge help. I've gone into how I used it in a couple of places: - "Tackling

I've used it for caching, batch processing, and concurrent web apps, and it's been a huge help. I've gone into how I used it in a couple of places: - "Tackling Concurrency Bugs with TLA+" (https://www.youtube.com/watch?v=_9B__0S21y8 https://www.youtube.com/watch?v=_9B__0S21y8) - "Formal Methods in Practice" (https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f https://medium.com/espark-engineering-blog/formal-methods-in...) I love helping people with this stuff, so ping me if you have any questions!