Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Levelyoutube.com7 points·lemmster··0 commentsOpen articleSaveView on HN