There’s no getting around it: The tech world has been (and continues to be) a male-dominated industry for a long…