[chaosprint]

I never use Arduino or Arduino IDE anyway; it's incredibly laggy for me, and I hate having these things in the cloud. I mainly use Pico and VS Code now.

[jojobas]

Setting up the toolchain that's not Arduino IDE is a prohibitively high bar for a school child that wants to blink leds.

[schappim]

There is a version of Thonny[1] designed for use with the Pico that is great for education. Raspberry Pi have some good resources on getting started[2].

If your target audience is school kids, you really can't go past the micro:bit and Makecode[3].

1. https://thonny.org

2. https://projects.raspberrypi.org/en/projects/getting-started...

3. https://makecode.microbit.org

[platevoltage]

Yeah their IDE is basically unusable.

[1718627440]

And yet that is the only thing, that they actually produce. Everything is else is from someone else.