Terry Davis, the smartest programmer who ever lived, enters the gates of heaven