Second this.
If you want a laptop for development - get MacBook. I used to be a die-hard Windows guy about 10 years ago. After that switched to Linux on my Desktop and used it for a year. When I switched job they gave me MBP 2011 model, I hated it. The OS, but not the laptop. The new 2015 MBP were complete garbage, but I got used to macOS. The M1 laptops are the only laptops I would suggest to anybody. The battery life is so amazing, no overheating issues, I love it.
My work also depends on Linux, I have my own company, that provides tools for monitoring Kubernetes, OpenShift and Docker. Only OpenShift is sketchy on arm64, everything else works great. https://github.com/lima-vm/lima is a great tool to run Linux VM. Also Docker for Mac and Rancher Desktop both work perfectly!
But switching to Mac could be a challenge. I was always big fun of Thinkpad laptops, especially X1 Carbon. My wife uses it (she is Windows geek). But obviously this laptop is a laptop, not a computing machine. If you need computing power, just go to Costco and get yourself a gaming laptop with good video card (3060 would be in your price range). Read this https://www.reddit.com/r/GamingLaptops/comments/srxtrx/gamin... to see which laptop provides enough power to the graphics card. But of course those gaming laptops are more like desktops you can easily move. The power bricks are huge, and laptops are heavy.
Another option to consider is to get a Desktop, you can buy used Workstations/Servers from companies like https://tekboost.com/ I got from them 2 x Nvidia Quadro M4000 8GB, Dual Xeon E5-2680V4 2.4GHz 14C, 256GB RAM for about 4k. For 2k I am sure you can find something that can fit your budget.