[lorenzhs]

I have last year's Thinkpad X1 Carbon. Excellent Linux support (great battery life, everything works out of the box except for the fingerprint reader) and a fantastic machine. Screen is good, it's quite a bit lighter than a MacBook Pro 13" and has a good selection of ports (2 x TB-3/USB-C, 2 x USB-A, full-size HDMI). But I can't judge if it meets OP's performance requirements (it is somewhat thermally limited due to the small form factor and thinness), maybe check out the T480 / T480s instead if you need more power.

One of my colleagues has a two-year old XPS13 and is very happy with it, too. I think they're both great choices.