One of the new HP ones, I think it's an 11.5 inch has HDMI out. Bit more of a price but it's probably more suited for what you want it for. I got the HPmini above and it's great. easy to take around, fast, cheap. But fuck using Windows 7 on it! That shit was slow as anything.
Quickly rebuilt it with Linux