What are the key takeaways from “Leslie Lamport on the Science of Distributed Systems” on a16z crypto?

What is this episode about?

Turing Award winner Leslie Lamport argues that distributed computing is fundamentally a physical problem of synchronization rather than a purely linguistic or mathematical one. He reveals that the most robust systems emerge from rigorous abstraction, where engineers treat state machine replication as the core solution to achieving consensus in the face of inevitable hardware failures.