Best ultrabook for linux? [April 2013 edition]

What would you recommend? What do you use? Do you know of something interesting about to be released?

Please, do not recommend me to use Windows or Mac OS, we are not discussing this right now. I am specifically interested to find a nice ultrabook to use for programming on linux.

Yes, I am aware of the most popular things like the Dell Linux Ultrabook and the Chromebook Pixel (and I might choose one of them). But yet, someone might know of something better.

So here are the rules:

1. It's OK if it comes with another OS, as long as it's not very hard to install linux. The hardware must work well with linux. Some minor exceptions are acceptable (eg - not working fingerprint reader)

2. Full HD or better.

3. SSD

4. Keyboard of great quality.

5. Good battery life.

I'm very happy with my Samsung Series 9.

Different marketing people mean different things by "full HD", so I'm not sure if it meets your specs, but 1600×900 is decent enough for me on that size; and it really, really is a gorgeous display.

Battery-wise, when I was travelling and had wifi/bluetooth off, low screen backlight, etc, it was pushing 9 hours.

Chromebook Pixel. It's all about the display.

Also consider the UX32A [edit: I meant UX31A], which doesn't have switchable graphics (which don't work well under Linux anyway), has an SSD instead of an HDD (good), doesn't have upgradable RAM (bad), and is cheaper. Same screen on both.

I'm considering getting the Pixel and running Linux on it, but am extremely annoyed by the lack of upgradable storage.

The $250 Samsung ARM Chromebook has USB3 (~100MB/s) and a fast (~50MB/s) SD card controller. The $1300 Pixel only has USB2 and a slow (USB2) SD card controller and no real PCIe slots, which means that you can never get more than ~17MB/s when trying to increase the tiny internal storage.