# Leslie Lamport
פרקי פודקאסט מובילים
מְעוּדכָּן:
Leslie B. Lamport (born February 7, 1941) is an American computer scientist. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. leslie lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages.
Scott & Mark Learn To… Vibe Coding and Being Productive
In this episode of Scott and Mark Learn To, Scott Hanselman and Mark Russinovich discuss innovative tools they built with AI assistance: Mark’s smart directory navigation tool that streamlines moving through nested folders by typing partial names, and Scott’s study website that transforms complex …
Heath Data Research with Gerry Reilly
Thoughts and discussion about the use of health data for research - both now and in the future. Feedback and comments are welcome!
Referenced Material:
Time, Clocks and the Ordering of Events in a Distributed System. Leslie Lamport. Communications of the ACM 21, 7 (July 1978), 558-565
https://lam…
SE Radio 653: Asanka Abeysinghe on Cell-Based Architecture
Asanka Abeysinghe, CTO at WSO2, joins host Giovanni Asproni to discuss cell-based architecture -- a style that's intended to combine application, deployment, and team architecture to help organizations respond quickly to changes in the business environment, customer requirements, or enterprise str…
SE Radio 203: Leslie Lamport on Distributed Systems
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a …
Episode 87: Handling Miscommunication
The episode centers on miscommunication—why it happens so often and how to handle it better, especially in remote work. Mike opens with a story about baking baguettes for his in-laws: he and his wife look at the same “thin and crusty” loaves but interpret that comment totally differently. He think…
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
I interviewed Leslie Lamport, a Turing Award winner known for his contributions to distributed systems and the inventor of the Paxos algorithm. We walked through the major contributions of his career for the stories behind them and what he learned along the way.
🔸 My keyboard project: https://rea…
Formal Methods, Functional Programming, and Securing the Java Ecosystem
An airhacks.fm conversation with Brian Vermeer (@BrianVerm) about:
growing up with a Commodore 64 and gaming,
inheriting a 486 DX2 with Windows 3.1,
first "enterprise" migration from Windows 3.1 to 3.11,
early experiments with Turbo Pascal and Basic,
curiosity-driven programming and disa…
Before Blockchains, There Was State Machine Replication (ft. Barbara Liskov and Tim Roughgarden)
Every blockchain today leans on replication ideas worked out in the 1980s, by a Turing Award winner who wasn’t thinking about how it might apply to money at all.
In this episode of First Principles, a16z crypto Head of Research and Columbia professor Tim Roughgarden speaks with Barbara Liskov, M…
How Bitcoin Rewired a Classic Computer Science Problem (ft. Tim Roughgarden and Ittai Abraham)
Bitcoin often gets credited with inventing trustless consensus. It didn’t.
The problem was named decades earlier — in the world of distributed computing — and researchers spent years studying how machines could reach agreement even when some participants were faulty, adversarial, or corrupt. Wha…
Leslie Lamport on the Science of Distributed Systems
Before blockchains could reach consensus, Leslie Lamport had to define what agreement even meant when computers fail, lie, or disappear.
In this episode of First Principles: The Scientific Roots of Blockchain Technology, Turing Award-winning computer scientist Leslie Lamport joins Tim Roughgarde…
מנוע חיפוש PODCAST
אתה יכול להשתמש באתר שלנו כדי לחפש3,821,235פודקאסטים ופודקאסטים195,346,908לפי אנשים, מקומות או נושאים.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
