This fall I will be teaching four (!) courses:
- Senior Seminar
- A co-taught first-year seminar on creativity in art & computer science
- A quarter-credit advising/introduction to college course for new first-year students
I have a lot of work to do to prepare for whatever the fall may look like, and have already begun.
I have been working for several years on disco, a functional teaching language for discrete mathematics I’ve been developing. This summer I’m working on it intensely and hope to get it into shape for use in an actual class next spring.
I’m working with Nick Wu on a better semantics for active, a Haskell library for describing and working with time-varying values (i.e. animations). Slowly but surely it is crystallizing into a concrete library and a paper.
I enjoy solving problems on Open Kattis, for fun, learning, and as preparation for teaching Algorithms and coaching the Hendrix programming team. I’ve also started a series of blog posts on how to solve competitive programming problems in Haskell.
Things I’m reading right now: