Donald Knuth "32 Years of Metafont" at the San Francisco Public Library [video]