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.
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.
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 33.
- Digital Minimalism by Cal Newport
- Confessing the Faith: A reader’s guide to the Westminster Confession of Faith by Chad Van Dixhoorn
- Blue Mars by Kim Stanley Robinson