It’s my choice but Arch and its derivatives look like the trend like CachyOS which is #1 right now on visits on distrowatch. Also I’ve heard Google use Debian as gLinux and I feel many other giants also use it and sponsor it and I’m not comfortable choosing it as my distro. Can the sponsors togethwr with students or any other interested use it for their PCs, either coding or ordinary use? It strictly promotes free but worried about giants and sponsors.
In my understanding, Linux distros have different flavors and play in different arenas. For instance, there are “community-driven” distros like Debian, Arch, or Gentoo, and there are other “industry-driven” distros that are developed by companies, such as Fedora or Ubuntu. Another aspect to consider is the support for new software. With Arch and similar distros you get support for bleeding edge software, whereas Debian supports more stable releases and officially supports older version of softwares that have been tested and reliable. Then there are a myriad of other things to consider, including the Desktop Environment, using X11 or Wayland, SystemD, support for graphics cards, etc…
I wouldn’t care much about who uses it, but about who takes the decisions. In this case, Debian has a very open system that you can check on their website. I think that corporate interests such as what Google or Microsoft want don’t have a space in the Debian decision-making processes. I tend to trust more the community-driven distros and stable releases, so Debian does the trick for me.
You described the basics, anyway, some universities use it as their OS, no giant techs involved.