🚀 New episode of The Changelog!
✨ Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
🎙️ hosted by nostr:npub1d0yaaxr8eq2x9rjylak9g7k4vsfucjm4znwlemu949faxkg3u5vqsfv0a4