Or perhaps UC Berkeley's Structure and Interpretation of Computer Programs Course https://cs61a.org/