"distsys-class - Class materials for a distributed systems lecture series" https://github.com/aphyr/distsys-class