[doneata]

Here are video recordings of similar material, but taught at Google in 2009 by Sussman and Hanson:

https://archive.org/details/adventures-in-advanced-symbolic-...

[peter_l_downs]

Whoah, thank you for this, from skimming the lecture videos this seems very close to the class as I remember it.