
Sign up to save your podcasts
Or


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.”
Join the discussion
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!
By Changelog Media5
55 ratings
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.”
Join the discussion
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!

289 Listeners

26,319 Listeners

623 Listeners

987 Listeners

210 Listeners

8,484 Listeners

207 Listeners

47 Listeners

9,920 Listeners

514 Listeners

29,186 Listeners

2,232 Listeners

62 Listeners

14 Listeners

26 Listeners