Highly recommend both of these. In particular the Distributed Systems one has an amazing format (read a paper each week, the lecture goes into detail about the nuances). Also implementing raft was challenging and frustrating but incredibly fun.