Now

What I am up to right now (updated weekly; last update: 13 July 2020). Inspired by Derek Sivers.

I live in Conway, Arkansas with my wife and two sons (ages 8.5 and 2.5), where I am an assistant professor of computer science at Hendrix College.

Teaching

This fall I will be teaching four (!) courses:

I have a lot of work to do to prepare for whatever the fall may look like, and have already begun.

Projects

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.

I continue to write on my math blog The Math Less Traveled, and on my academic blog.

Reading

Things I’m reading right now: