Comment by harel

I recommend going for the thinkpad carbon x1, it's the same form factor of Mac air, looks better in my opinion and has one of the best keyboards on a laptop that size, not to mention it's developer friendly (has actual page up/down, home/end keys). I'm running Ubuntu on mine (3rd gen) without problems. The 4th gen ones can take 16gb ram as well.