I didn’t know who Grace Hopper was until the Google logo today, but she’s a total bad ass: en.wikipedia.org/wiki/Grace_Hop…