Some yes. But most of those people are not hardcore coders though, and any coders not on board with Elon's agenda will only serve to stop it, slow it down, or otherwise get in the way & sabotage. Elon doesn't need them doing that, even if they're good coders. Also, lots of those leaving will serve functions that will soon be almost defunct, like moderating, or positions in finance and general management that are easily replaceable. Regardless, better if Elon gets rid of them all and replaces with people on board.

It's also possible (likely) that Elon specifically plans on downsizing. What happens to the parts of the company that are too big to manage? Well, you liquidate and sell them off! And what company do we know is waiting to acquire liquidated media assets? DWAC & Trump Media, of course! Sounds like things are all going according to plan...