The friends to whom I’ve posed the question in this title often begin confidently: “Sure! Grace Hopper, Ada Lovelace, umm, Anita Borg, ummmmmmm. Um.” Then follows an embarrassed s…