Yes! I'm working through the Design of Computer Programs on Udacity, which he teaches, and it's so enlightening to hear how he thinks through the conceptual framework of a program and see the code he comes up with to implement it. It's also nice to see that his code isn't always super elegant and that he's willing to write something readable and straightforward if it works well.