Comment by archi42

Depending on your needs(!), you can just use the laptop as a frontend for a much more powerful machine. I did that for a while with a Sandy Bridge (core i7-2xxx gen) dual socket server in the basement, and it did work quite well. No matter if I was at home or somewhere else - but for dev work ssh into the Linux host OS was enough for me, with an occasional RDP into a Windows VM.