I've had multiple occasions to link to this video recently, and here's another. https://www.youtube.com/watch?v=tsSDvflzJbc https://www.youtube.com/watch?v=tsS

I've had multiple occasions to link to this video recently, and here's another. https://www.youtube.com/watch?v=tsSDvflzJbc https://www.youtube.com/watch?v=tsSDvflzJbc It's Leslie Lamport giving the closing keynote at SCaLE a few months ago. It's title was "Coding Isn't Programming". I really enjoyed it. And as someone mentioned in another comment, he's got a fun sense of humor. I was there in person and got to meet him and exchange a few words after, which was cool. Watch the first 2m10s and see if it hooks you.