Minding the Gender Gap: 10 Facts about Women in Tech