That's a lot of nerds of all stripes.