It should be added that they likely talk about the controller of the airplanes. Afaik there already is Linux on airplanes, but to handle e.g. the entertainment system. Which seems like a better fit.
Having a non-Linux main controller OS with specific design and a lot smaller feature set than Linux flying the plane seems like a good idea. But maybe this could also be open sourced and standardized?
Yes! This way who wants to interact with programming.dev just has to make an account on this or any of the federated servers. Nothing prevents them from having a second account on threads to view all of that 'content' as well.