Which framework to use for coding RP2040

earlephilhower's implementation is geared infinitely more for multicore applications, RTOS, advanced sdk commands, state machine controls etc.

Mbed is easy to use and familiar for arduino users, it boasts the general single core everything is safe for begginers methodology of arduino code, sacrificing the heaps of performance for ease of use.

If you are a beginner to coding in general use Mbed hence you won't be familiar with multicore aspects, like semaphores atomic executions, race conditions etc.

But if you know a fair bit of programming and want to improve on and use what
industry needs, I deffinitely reccomend arduino-pico from earlephilhower, and even bare pico-sdk but arduino-pico should be a nice starting point with good documentation and ability to use partial arduino libraries commands, whilst not sacrificing the use of commands from pico-sdk.