Hacker News Reader

You can get third party rp2040 modules or just the raw chip, easily. Not with the (proprietary licensed?) Wifi stuff, and definitely not official.

you're thinking of the pico, the zero is just a smaller, less powerful raspi running raspbian