Yesterday’s Google Doodle commemorated Grace Hopper (1906-1992) on the day that she would have been 107. Like me, if you have been unfamiliar with the woman and her work, I suggest starting with…