(Hey, it took me long enough to ask for a forum, amirite? Ahem.)
In response to my HOL message survey
, the overwhelming majority said that a class forum here would be the best, so here we are. Yay. There's not much here yet, but give me a few days to get the place in order, and there'll be places for questions and for showing off and for general fun. I hope.
In the meantime, I've updated a few pages at the website, including your various
, which you might be more than a little curious about, I'm sure.
If you have any questions, let me know.