I've had great results with various refurbished Dell Latitudes from eBay over the years. I have a stack of about 5 or 6 of 'em and they've all run many mainstream Linux distros with fantastic out-of-the-box support. I pass 'em out to members of the household whenever a laptop is needed and they'll usually get the job done.
I'd just type in "Dell Latitude" on eBay and filter by price and such. I suspect any model with an i5 and 8GB RAM oughta be fine for light programming work. I've found sellers with high ratings (like 97% or higher) and thousands of sales are pretty reliable (and tend to have return policies in case you get a lemon). Just test all the hardware (webcam, microphone, headphone jack, USB ports, ethernet, etc) as soon as you get it.
I've saved a lot of money over the years buying secondhand, and these machines have been running without a hiccup for years of casual use.