• Leslie Lamport revolutionized computer science with math [video] https://www.youtube.com/watch?v=rkZzg7Vowao 91 comments 24/5/2022