HP EliteBooks are pretty solid. I have a few G7's in different sizes and dual boot on all of them. The 840 is probably the perfect size, 14" 16:10 screen, plenty of ports, excellent keyboard, fully upgradable SSD and RAM, and overall great build quality.
I have a super old one (8470p) which I got refurbished, and I love that thing so much. Being from 2012 it's obviously not up for real work these days, but the build quality, how you can just pop open the case and expand and swap all sorts of things, that instantly spoiled me and my next laptop will be something comparable or better.