2 ms·Even if I don’t use it at work, learning TLA+ has changed the depth of my understanding of software.by amw-zero 6y agoEven if I don’t use it at work, learning TLA+ has changed the depth of my understanding of software.