

Summer of 2020. Lockdown was in full effect and I was working from home. I wouldn’t say I had a lot of extra free time (my kid was 1 year old at the time, lol), but I spent many hours that Summer tinkering with various projects, and that led me to eventually adopt Linux as my daily driver on all my machines.
I’ve dabbled with Linux since 2005, but was never savvy enough to completely ditch Windows until 2020.
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.