Usually, it's men who run these big monster companies, and girl companies are usually much smaller - it's like an unwritten tech-industry stigma.