Thank you for your recommendation! Your second suggestion reminds me of Karpathy's micrograd and the accompanying lectures.

At the top of my own bucket list, at the moment, are: Distributed Systems and SCIP, both from MIT, and Compilers, from Harvard!