It's dangerous to use anything that blocks your hearing, even just regular headphones!

Not a full solution, but painters tape to seal the gaps might stop further nest building

Yeah, I probably gave Bazzite less of a chance because I had so many issues installing it. I believe I had to wipe my other Linux partition to get it installed in the end.

Honestly, so far I have had no issues at all, I just run an update every now and then. I assume it'd be more difficult if this wasn't a gaming-specific partition, as that means I haven't installed much else.

It took me ages to get it installed as it couldn't cope with my EFI (I have multiple boot partitions). I had issues getting games running once I had it installed, but I can't remember what specifically those issues were as I spent longer fighting with Pop (WiFi driver issues).

I had a bad time getting Bazzite working and ended up switching to CachyOS, which I have been happy with.

I think you are underestimating the added complexity and cost. Radio telescopes aren't like optical ones, they are huge arrays of dishes covering a vast area, and a key aspect to them is that they are relatively cheap. Space telescopes cost billions, last less time, cost far more to run, and often can't (reasonably) be repaired.

The unfortunate truth is that we will end up picking between furthering our knowledge and furthering private wealth, because even if we put some in space, it would be prohibitively expensive to match what we have on earth.

I'm guessing "fuck with"? Not sure though

CachyOS has been very good for me for a similar purpose

CachyOS

I'm moving at the moment. Linux Mint is a good stable Windows alternative, but I wanted to separate gaming from other things so I am dual booting. I have had luck with Pop_OS! before but recently had issues with a laptop WiFi adapter, had some issues getting Bazzite working, so ended up with CachyOS, which has been really slick and easy so far.

A nice thing with Linux is how easy it is to cycle through a few distros if you have your main files on a different drive or partition, since you don't lose anything important when switching that way.

I have two and they have had endless connection issues. Also, the DAC in splitters is terrible, so this requires a USB-C splitter followed by an external DAC. It's pretty unwieldy.

Also, on my previous phone without a jack the USB-C port started having charging issues after a couple of years due to wear. I'd be less annoyed about it if they had multiple USB-C ports, but a single port device is a bad idea in general.