An interesting short video about Leslie Lamport, the creator of LaTeX, TLA+, the work behind distributed computing & 2013 Turing Award winner. Also known for the bakery algorithm and the Byzantine Generals Problem.