Just finished a first round of actual dev work on a Raspberry PI-400. It's a Pi4 built into a keyboard, running of an SD card. It easily has enough performance to compile/debug, run Firefox or Chrome, and in general be a desktop machine. I'm very impressed!
This is a family server