Like others have pointed out the reason to use a Teensy is the power. I love the Pico2 / RP2350 but it can barely keep up with both cores overclocked and critically it lacks a 64bit FPU.
The 64bit FPU is the reason I use the Teensy. The closed...
[...hoping my three favorite suppliers make-up someday]
In a future freensy (or teensy;) I'd like to see Teensy 4.1-like performance with the DSP instruction set, even more memory, and a debugger port (sorry, Paul --- I am so tired of printf)...