I came across David Beazley's https://www.dabeaz.com/courses.html. Are there more courses like this out there, especially any online ones?