Two years ago, I wrote and published seriatim a book-length tutorial on Formal Methods in Political Philosophy, complete with quite technical explications of rational choice theory, collective choice theory, and Game Theory. It has drawn almost 36,000 page views lifetime, which, considering the subject matter, is astonishing. Every so often I check in to see whether anyone is reading it, and there are always ten or twelve page views a day. Suddenly, yesterday, there were sixty-seven, which mystified me, until I realized that this is the beginning of the Fall semester around the country and someone, somewhere, has assigned the blog to his or her students.
The Cloud is wonderful. Since formal proofs do not go out of fashion, I imagine the tutorial will live on forever, available to anyone who wants an introduction to that fascinating stuff.