Hacker News new | ask | show | jobs
Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level (youtube.com)
7 points by lemmster 1758 days ago