3 ms·
Lamport is a giant and one of the greatest living computing scientists. He's also getting more and more Dijkstra-like. I say that with full admiration.
by User23 6y ago
Lamport is a giant and one of the greatest living computing scientists. He's also getting more and more Dijkstra-like. I say that with full admiration.
- amw-zero 6y agoEven if I don’t use it at work, learning TLA+ has changed the depth of my understanding of software.