This semester I am teaching two courses: Discrete Mathematics and Functional Programming. Teaching is suddenly looking very different as I transition to teaching these courses online. This week is spring break, after which classes will start up again. This week I will probably be spending a lot of time making some video lectures for my courses.
I am spending a lot of time preparing for, grading, and typing up lecture notes for Discrete. I am also constantly thinking about my functional teaching language disco, which I hope to be able to use the next time I teach the course.
I’m co-chair of the Artifact Evaluation Committee for ICFP 2020. I’ve put together a committee at this point and continue to work on preparing for the evaluation process.
I’m also co-chair of the 2020 CCSC Mid-South programming contest (together with Top Malasri) which will be held virtually. We’re currently putting together a set of problems, soliciting registrations, and getting ready to host the contest.
I’ve been working lately on a functional pearl to explain/derive Fenwick trees in functional programming terms.
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: