“When people build a cloud infrastructure, they don’t want bugs that will lose people’s data. For the kind of application where precision is important, you need to be very rigorous. And you need something like TLA+, especially if there’s concurrency involved, which there usually is in these systems.”
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/