6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown) - View it on GitHub