Admittedly this is a really boring subject for most people, but I find "comparability" in coding and maths a common problem that I've given quite a bit of though to and find interesting.
The most common comparability trap for coders is that "sets" are usually under the hood memory addresses (aka pointers). I discovered how this confuses nearly every novice programmer years ago when I did a MooC teaching matrices using Python. I think languages like Python which do away with C's &x and *p notation actually confuse novices more than they help because it's not obvious that x = [1,2,3] is a "reference" which will be globally mutated in whatever function it gets changed. I passed course by first converting the "matrices" as in nested arrays to text, and then back which I thought was an awful hack, but later discovered JSON basically makes that technique the norm.
In classical logic, there's equality and "implication" which once I went "aha", found helped improve my database queries a lot. Thinking of logic as "two value algebra", specifically 0 and 1, equality is pretty simple whereas that the truth table for implications (commonly written p => q) actually means p <= q took me some time to figure out. For p and q to be equal, implication has to work both ways, ie p <= and q <= p.
That might not seem useful and required knowing another thing I only grasped fairly late in life: classical logic and set theory are related, and that for lots of ps and qs that means P and Q are equal if P subset Q union Q subset P is not the empty set.
My notes on how to write that in SQL or Prolog for database I've put on the web at https://frontiersoftware.co.za... if there's anyone who shares my weird interest in this.
Personally, I don't care what OS my desktop is running provided it has a web browser. If I need to use a spreadsheet or word processor, I use what Google Drive offers. I occasionally need to do video editing where open-source ffmpeg seems to reign supreme everywhere. The only time I have to deal with Windows is my 80-year-old mom's laptop and some of her friends only use Skype. She agrees web-based facebook's alternative works better, but some of her friends refuse to use social media, so Skype is a must. I tried the Linux version of Skype without success, so she's trapped in Microsoft for now. Every Tuesday, Microsoft's automatic update seems to break something and Skype's permissions to use the speaker or microphone constantly need to be turned on again, so I'm a Microsoft hater who can't understand why anybody would chose to use that amateurish rubbish.
Much of this debate seems to devolve to people dependent on MS Office or Adobe applications which I don't use, so guess Linux is not a good alternative. Ideally, I'd like a device with a browser and via the browser access all the other apps I need. I've tinkered with using https://codemirror.net/ based text editor, but it breaks Bash scripts for starters because the browser and server between them add \n to all newlines which breaks Unix shell scripts and I don't know how to fix. So not in a "browser, browser and nothing but a browser" world yet, but willing to bet that's the ultimate future of the desktop.
"What the scientists have in their briefcases is terrifying." -- Nikita Khrushchev