An update. I ran the sensor from the 5v/GND lines of the Arduino while pinging the trigger and echo with the pico. I got what I was expecting (although every other line there was a weird enormous number, but I guess that has something to do with the Arduino) so I guess this module needs a full 5v for power.
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.
An update. I ran the sensor from the 5v/GND lines of the Arduino while pinging the trigger and echo with the pico. I got what I was expecting (although every other line there was a weird enormous number, but I guess that has something to do with the Arduino) so I guess this module needs a full 5v for power.