The spring semester is more than halfway over! I am teaching:
At the moment most of my time is taken up with teaching + family.
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: