Y youtube.com Leslie Lamport revolutionized computer science with math [video] 229 points chat 4 years ago 91 comments