I bought the original Chromebook Pixel when it was new for something like $1.3k. At the time, I believed this the best way to get a slim laptop with a high resolution screen and good linux support. Debian did run well on it, as I expected, but I soon came to regret the purchase and will never buy hardware from Google again.

EDIT:

It lost audio about 3 or 4 months after it was out of warranty, both out of the speakers and headphone jack. Left speaker failed first, then the right, then the headphone jack. I can only assume it was some sort of hardware fault, since sound no longer worked in ChromeOS either (and HDMI audio continued working in both). But good fucking luck getting such a thing fixed on a product like that from a company like that. Now I have a Dell XPS with a 1080p screen, which is good enough, particularly considering Dell has a much better reputation for support/repairs.