Ask HN: Anyone ever use TLA+ on a Webapp

3 pointsfenier2 comments

I recently became aware of TLA+, and I was curious if folks who have used it, have used it with webapps and had much luck with it?

I typically work with things like Personalization and Caching, and was wondering what folks thought about TLA+'s usefulness in those areas.

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:

I love helping people with this stuff, so ping me if you have any questions!

Thank you so much, I may take you up on that - this looks very interesting to me, and I started watching the Learn TLA+ video series.

I'll for sure be looking over the stuff you just linked.