MacOS: check out the latest MacBook Air 13", the one just released - it has a new keyboard, better base disk configuration and it's cheaper than before. Windows: Dell XPS 13 has been the go-to laptop for years, they keep refreshing it, so make sure to get at least the 2019 model (which has a camera on the top of the screen, not the bottom), or ideally the 2020 model, which features a new keyboard and even smaller bez…
I am currently typing this on my mid-2013 11" Macbook Air and it's still going strong. It's too bad that Apple is not making anymore 11" laptops anymore because I think it's exactly what OP wants. I had the same exact criteria when looking for a laptop and I work with similar technologies, but I've also done Android/Kotlin (using Android Studio) and C#/.NET (using full Visual Studio) with this laptop without any prob…
It was Linus Torvalds daily driver for some time. I also wiped out OS X and went with Linux, deployed directly as an EFISTUB so no bootloader. Being all-Intel, sans a mediocre Broadcom wireless card, the machine had perfect Linux compatibility.