Science & Technology: In 1990, Famed Computer Educator Donald Knuth Gave Something Up And Is Now, As He Asserts, 'A Happy Man.' What Was It