---
title: "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working with Dijkstra"
url: https://daily.dev/posts/turing-award-winner-on-thinking-clearly-paxos-vs-raft-working-with-dijkstra-ihjhnfwvu
source_url: https://www.developing.dev/p/turing-award-winner-on-working-with
type: article
source: "The Developing Dev"
published: 2026-02-23T11:08:26.170Z
updated: 2026-02-23T11:08:55.680Z
tags: ["distributed-systems", "computer-science"]
reading_time: 45
upvotes: 1
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working with Dijkstra

**[The Developing Dev](https://daily.dev/sources/developingdev)** · 45 min read · 1 upvotes · 0 comments

## Summary

A wide-ranging interview with Leslie Lamport, Turing Award winner and inventor of the Paxos algorithm, covering the stories behind his most influential contributions to computer science. Topics include the origin of the Bakery Algorithm for mutual exclusion, his collaboration with Dijkstra on concurrent garbage collection, the 'Time, Clocks, and the Ordering of Events' paper and its connection to special relativity, the Byzantine Generals problem and fault-tolerant systems, the Paxos algorithm and its eight-year publication delay, a comparison with Raft (including a bug in Raft that users found 'understandable'), the creation of LaTeX, and his philosophy that writing forces clear thinking. Lamport reflects on why abstraction—not raw intelligence—drove his success, why he worked in industry rather than academia, and his view that state machines are the true 'Turing machine of concurrency.'

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://www.developing.dev/p/turing-award-winner-on-working-with>

## Similar posts on daily.dev

- [Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems](https://daily.dev/posts/turing-award-winner-data-abstraction-dijkstra-distributed-systems-yfauodzys) · The Developing Dev · 3 upvotes · 0 comments
- [Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation](https://daily.dev/posts/turing-award-winner-p-vs-np-zero-knowledge-proofs-quantum-computation-fvd154j6p) · The Developing Dev · 4 upvotes · 0 comments
- [Computational Complexity: Tony Hoare \(1934-2026\)](https://daily.dev/posts/computational-complexity-tony-hoare-1934-2026--7spravswl) · Hacker News · 0 upvotes · 0 comments

---

Tags: [#distributed-systems](https://daily.dev/tags/distributed-systems), [#computer-science](https://daily.dev/tags/computer-science)

[View this post on daily.dev](https://daily.dev/posts/turing-award-winner-on-thinking-clearly-paxos-vs-raft-working-with-dijkstra-ihjhnfwvu)