This semester, I’m teaching two classes:
Just one more week of class and then final exams/project presentations!
In the spring I will be teaching:
and I’m starting to think about those a bit. CSCI 322 just needs to get loaded back into my head; CSCI 365, on the other hand, needs a major overhaul.
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’m currently working on a number of improvements around the type system and error messages, and improving documentation and tutorials.
I enjoy solving problems on Open Kattis, for fun, learning, and as preparation for teaching Algorithms and coaching the Hendrix programming team. Since the summer I’ve committed to getting a minimum of 2 points per day.
I am also working on putting together a programming contest to be hosted at Hendrix at the end of March 2023.
Things I’m reading right now:
- The Story of Proof: Logic and the History of Mathematics by John Stillwell
I’m currently playing Tears of the Kingdom which is a fantastic and worthy successor to Breath of the Wild. It took me somewhere around 150 hours to get Breath of the Wild to 100% completion; I’m currently 215+ hours into Tears of the Kingdom, and have completed the entire main storyline to the end credits, but am still nowhere near 100% completion; slowly working my way through a bunch of checklists.