undo remove of Richard Hamming talk