I bought a ThinkPad Z13 Gen 1 last year (with 32GB RAM) and it’s been excellent for hobby dev work and light gaming. Lenovo officially list Linux as one of the supported operating systems. I run Fedora on it and everything worked out of the box. If it’s not urgent, I’d recommend waiting for the Gen 2 which should come out next month. Gen 2 features the AMD Zen 4 CPUs, which is a decent upgrade from the Zen 3+ CPU in the Gen 1.