It’d be interesting to see performance comparison between native code and this bytecode. Is it x10 similar to Python? Better/worse?

Wow, this is really interesting.
I bought some Pico 2040s when they first came out, but all the tooling seemed to be raspberry pi based.
I might have to check this out. Certainly revisit my 2040s and see if there are some good (not raspberry pi based) tutorials out there

Can we all agree, Embedded is not the place for Garbage Collected Dynamic languages? Please, just use Rust/Nim/Zig or C.