Text this: Principles of distributed systems