Andrew Helwer: Live Lecture on Paxos and TLA+, 10-11:30am PDTgroups.google.com3 points·pron··0 commentsOpen articleSaveView on HN