I have been running Linux on Thinkpad X1 Carbon laptops for several generations now: Gentoo on Gen 1, Debian on Gen 5, and now Arch on Gen 9. I can’t recommend them enough for a Linux daily driver and development workstation!