i'm using a 4th gen x1 carbon as my work laptop. it's the machine google settled on as their 2016 linux laptop after doing a bunch of research on current models from various manufacturers, and it's worked perfectly for me. i used the 1st gen for a few years before that, and that was a great experience too. (the 4th gen has worse speakers than the 1st gen, which was kind of weird to realise, but other than that i've been happy with the upgrade too)