If you use a normal USB cable - one that connects the data, ground, and 5V power pins on both sides of the cable, you do not need extra power... PICO has a power regulator that makes 3.3V from the 5V.
When you plug PICO in, do you see a brief flash of the red LED?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
If you use a normal USB cable - one that connects the data, ground, and 5V power pins on both sides of the cable, you do not need extra power... PICO has a power regulator that makes 3.3V from the 5V.
When you plug PICO in, do you see a brief flash of the red LED?