Distributed systems, lecture 1, 2025 update Sep 4, 2025 Lecture 1, 20025 update, available for download: Lecture 1 Stay tuned!