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:
- Algorithms
- Senior Seminar
- A co-taught first-year seminar on creativity in art & computer science
- A quarter-credit advising/introduction to college course for new first-year students
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:
- I am reading the book of Genesis in the original Hebrew, a little bit every day; currently in chapter 41.
- Mathematics for Human Flourishing by Francis Su