Can't go wrong with a Thinkpad X1 Carbon. Perhaps look into one of the previous generations if the newer ones are too pricy. They have great Linux support, and I suppose they're thin enough. I'm hoping to get one at some point.

I'm running Arch/i3 on a Thinkpad X13, it's decent enough for most dev work.