It’s moving slowly, but Pinterest and other tech companies are becoming less white and less male (Vox)