Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+
Jan 17, 2015
Turing Award winner Leslie Lamport talks to Charles Humble about LaTeX, Paxos, his "Time, Clocks and the Ordering of Events in a Distributed System" paper, TLA and TLA+
Building a Multi-Master Distributed Redis in Erlang
Jan 23, 2014
Chad DePue presents the process of building Edis, a Redis clone written in Erlang, allowing pluggable backends and implementing the Paxos algorithm.