How the tech industry wrote women out of history