University life: From 50 years ago to now (2019)

The future of long-term data storage is clear and will last 14 billion years

I fed 24 years of my blog posts to a Markov model

50 years of proof assistants