> Amanda Am I missing a reference? If not, may I suggest “Ada”? https://en.wikipedia.org/wiki/Ada_Lovelace https://en.wikipedia.org/wiki/Ada_Lovelace Or even

> Amanda Am I missing a reference? If not, may I suggest “Ada”? https://en.wikipedia.org/wiki/Ada_Lovelace https://en.wikipedia.org/wiki/Ada_Lovelace Or even better, “Grace”. Seems to fit your description better. https://en.wikipedia.org/wiki/Grace_Hopper https://en.wikipedia.org/wiki/Grace_Hopper https://www.youtube.com/watch?v=gYqF6-h9Cvg https://www.youtube.com/watch?v=gYqF6-h9Cvg