Yes, but quality over quantity. I was a redditor back in the early days, pre Digg migration. Being a redditor meant something back then, almost universally meant you were tolerant, usually but not always somewhat liberal, and with a very strong sense of fairness. I remember a good friend of mine started dating someone and when they mention their new partner was a redditor I am immediately thought oh good, that means they are very likely a good person (they ended up married). Reddit has of course grown since then, but not all of the growth is good. I used to go there for engaging discourse, knowing that I was surrounded by other relatively smart people and we could have respectful discussion on almost any subject. Those discussions are few and far between now.
So yes I would like Lenny and the fediverse to grow, but I am more interested in what kind of people we attract than simply growing numbers. When I would rather do is create a reputation that the fediverse is a place to come before respectful discourse and sharing of ideas, not just scrolling through page after page of mindless content like on a big tech social platform (FB / Insta / TikTok / etc).
Pilot here. I fly little airplanes for fun.
Much of the ATC system is already understaffed by a good amount. Becoming a controller is not super easy, nor is it for everyone. You have to pass a fairly stringent medical test, background check etc, and then you go to their academy for a while. After that, they will assign you wherever they need you, which may be nowhere near where you actually wanted to live. What you make depends on where you are and what you do. So for example, if you man a small airport in the middle of Idaho, you make less than if you are an approach controller near JFK. Each position that you might work requires its own training and certification, and I don't just mean each physical location I mean like each chair, each working position. That's because each sector of the airspace has its own quirks, where traffic usually comes from and usually goes to, defined airways and GPS points and procedures and that sort of thing.
My point with all this, is that hiring and training new controllers is significantly harder than most other jobs. To use the earlier example, and approach controller near JFK is doing one of the most difficult and stressful jobs in aviation, and is easily making six figures. But to get that guy there, getting him trained and certified on everything took years and hundreds of thousands of dollars. If he resigns, whatever salary you save on him is a drop in the bucket compared to what it will cost to replace him.
Private sector controllers are a thing. Many small airports contract out their tower operations, but this is generally done at small regional airports.
Don't get me wrong, there are plenty of places where fat needs to be trimmed in the federal government. I don't believe ATC is one of them. And is certainly not a place where I want fat aggressively trimmed, because when you lose experience you reduce safety.