This article now lives at https://the-puzzler.github.io/blog/curriculum-mining/.