Ask HN: What programming laptop should I get for my kid?

I'm trying to buy a laptop for my 11-year-old who's expressed a lot of interest in programming. What recommendations do you have? What features should I be on the lookout for?