Now

What I am up to right now (updated weekly; last update: 19 May 2025). Inspired by Derek Sivers.

I live in Conway, Arkansas with my wife and three children (ages 13, 7, and 4), where I am an associate professor of computer science at Hendrix College.

Belize!

This week and next I will be tagging along with Dr. Jenn Dearolf’s marine biology class to Belize, staying at the Belize Tropical Research and Education Center!

Projects

In the fall of 2021 I started developing a game called Swarm and built a small open-source community around its development. So far we have made a few official alpha releases, and development continues to hum along.

I continue to develop disco, a functional teaching language for discrete mathematics. I am currently working on adding documentation and increasing the language’s user-friendliness.

Another research project I have been working on recently is making formal an intuitive sense I have that the types of DSLs involving an applicative functor can be fully inferred from programs that just use regular applicative notation, whereas for monads this is ambiguous.

I enjoy solving problems on Open Kattis, for fun, learning, and as preparation for teaching Algorithms and coaching the Hendrix programming team. I’ve committed to getting a minimum of 2 points per day, on average.

I’ve finally finished recreating my academic blog with Hakyll and have begun again writing some posts about competitive programming in Haskell. I’m in the very early stages of turning the material into a book.

Reading/Playing

Things I’m reading or playing right now:

Piano

Pieces I’m learning/practicing right now: