The spring semester is underway! I am teaching:
I’m co-chair of the Artifact Evaluation Committee for ICFP 2021, together with Gabriel Scherer. We are working on putting together a committee and laying out a roadmap for the submission and review process.
I have been working for several years on disco, a functional teaching language for discrete mathematics I’ve been developing. This year I have a student working on it with me, adding support for finite maps and graphs to the language.
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:
- Don Quixote by Miguel de Cervantes
- Euler’s Gem: The Polyhedron Formula and the Birth of Topology by David Richeson
- The Fellowship of the Ring by J. R. R. Tolkien
- A Gentleman in Moscow by Amor Towles