Chris Chalmers has been working on an rewrite of some of the core functionality of the diagrams library, which will allow for things like traversals over diagrams and diagram edits; get rid of the backend type parameter for diagrams (which was more of a nuisance than a help); and incidentally split out all the purely geometric parts of the library into a separate package. I’m excited to see this land (hopefully over the summer) and am helping with feedback, documentation, and so on.
I’m in the middle of a series of blog posts on The Math Less Traveled exploring primality testing algorithms. I’ve finished up a sub-series exploring proofs of Fermat’s Little Theorem; next up is to start writing about primality tests themselves, and why it seems (but we can’t prove) that we live in a rather interesting universe where primality testing can be done quickly but not factoring.
The fall is almost upon us. I will be teaching three classes:
- CSCI 150, Foundations of CS
- CSCI 382, Algorithms
- CSCI 360, Programming Languages
Things I’m reading right now: