I thought you meant http://www.dangrossman.info/ had a course. Instead, I think you mean https://homes.cs.washington.edu/~djg/ The former is active on hn, and the later is a CS professor. Would be interested in a course from either :)