Again, what stats? Because that doesn't appear to be the case at all according to [1].
But let's take your word for it since you didn't provide a source. Here's an actual hard number: 170,000 tech workers cut this year alone (plus more last year) [2]. Let's use your 5% lower bound. That's 9,000 engineers. I hope you'll agree that's a lot.
[1] https://www.vox.com/technology/2023/4/21/23692515/tech-worke...
[2] https://news.crunchbase.com/startups/tech-layoffs/