I am going through this right now. I finished Lab 3. I also made my own notes about some of the papers they discuss, specifically Spanner.

https://sudk1896.github.io/2026/09/03/Spanner-notes.html

Highly recommend this course.