I took Dave’s “Write a compiler” course several years ago, and it was mind-blowing in the absolute best sense of the term. What a great teacher and person.

Programmers are worse off for his retirement, but (given his career change) Chicago-area high school kids are in for a real treat.