Notes for my distributed systems class (spring 2014)