At least Ada has a song:

https://www.youtube.com/watch?v=1kFnHPHBcb4

Did you know Ada and Linda were both named after unrelated people with the same last name?

https://en.wikipedia.org/wiki/Linda_(coordination_language)

https://en.wikipedia.org/wiki/Linda_Lovelace