Now

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

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

Teaching

This semester I will be teaching two courses: Discrete Mathematics and Functional Programming. Much of my time right now is going towards preparing for the start of the semester.

Projects

I’ve been working lately on a functional pearl to explain/derive Fenwick trees in functional programming terms.

I’m working with Nick Wu and Andy Gill 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.

For several years, off and on, I’ve been working on an English translation of André Joyal’s paper introducing combinatorial species, with additional commentary providing background and context.

I continue to write on my math blog The Math Less Traveled, and on my academic blog. Most recently I’ve been finishing a LONG overdue series of posts on a combinatorial proof. I’ve also written a bunch about primality testing algorithms and may get back to that at some point. I’m also writing some posts about doing competitive programming in Haskell.

Reading

Things I’m reading right now: