Speaking of Lamport's "How to write a 21st-century proof" paper, here's a video of a great presentation he gave on this topic last year:

https://www.heidelberg-laureate-forum.org/blog/video/lecture...