This web server is run by Jim Aspnes. You may be looking for one of these starting points:

  1. PineWiki (for class notes and such)
  2. Play chess against tkChess