Y youtube.com Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level 7 points lemmster 5 years ago 0 comments