4 ms·TLA+ creator Leslie Lamport: 'Programmers need abstractions'46 points by MilnerRoute 1y agodeleted 1y ago[deleted]