Oggi è l’Ada Lovelace Day. Chi era la prima donna programmatrice?