Linux is not a problem. This is my 3rd year on uni and my old laptop died. I'm used to linux by now, but I still need to get better and better with it. Whenever I need windows i just start VM, no problem at all. I have also PC for windows and games, if i ever need more power.
Also in my Uni i can write programs on whatever os I like. I send the code like everyone else to the person who is checking our code and if there are any compiling issues I just go to him with laptop, dowload what I send to him from email (to show, that I didn't have more time than everyone else) and just run it on my system.
I tried dual boot, but frankly it's just not for me. VM's are much better, because I don't have to stop what i am already doing.
I am still actually leaning more towards HP. Why? Because it seems it has everything as THinkpad + higher quality materials (aluminium chasis) and keyboard backlight (not really that importat). But that aluminium chasis is tempting, compared to full plastic. It's also lighter. The real problem is that it's hard to find info about it, and that's my only big problem.