在「The Paxos Algorithm or How to Win a Turing Award」這邊看到 Leslie Lamport 在今年七月時親自講解 Paxos 這個經典演算法的錄影。另外一個有提到的主題是講形式規範的 TLA+，也是他的力作...
Leslie Lamport 是 2013 年的 Turing Award 得主，除了上面提到的事蹟外，LaTeX 也是他弄出來的東西，軟體名稱開頭的 La 就是他本人...
花些時間聽看看還不錯 (去聽看看他怎麼描述)，不過現在的新軟體比較常實做 Raft，Paxos 比較少人選擇了...