Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level(youtube.com)7 points·by lemmster·5 ปีที่แล้ว·0 commentsyoutube.comLeslie Lamport – TLA+: Viewed from 40k Feet and Ground Levelhttps://www.youtube.com/watch?v=Ocxczi-CvRQ0 commentsPost comment—