Holy moses, David Letterman had Grace Hopper on as a guest in 1986? https://t.co/w7Sxq5FJuw I *did not know this*