RIP legend.

Noting Ada Lovelace Day was a few days ago also https://findingada.com/.