I would love to see numbers for other companies. I would be surprised if large defense contractors like Northrup Grumman and Lockheed Martin didn't have way more than 250.

Also ... government has been notoriously bad about grokking software. They just couldn't manage large projects effectively at all, and they were completely getting fleeced by their usual contractors (witness the initial launch of healthcare.gov). So it's good that they're getting competent people to be in charge of things now, which I suppose naturally means they'd be getting people from the top tech companies in the world.