Currently using a Thinkpad X230i with Arch Linux + DWM. The ultra-portability is great and it's been a great machine for all around development.

I Bought it "used" for $500. (i3, 500gb ssd, 4gb ram)

http://www.ktgee.net/post/49423737148/thinkpad-guide