I post some of my notes here.
COMP 301
COMP 302
Essentials of Programming Languages (EOPL)
Structure and Interpretation of Computer Programs (SICP)
Petsc KSP Iterative Solvers
Nerd^5