This is really incredible, the esp32 examples are really straightforward compared to the C versions of the same. The Erlang actor model makes this much easier!
... if they can nail the OTA updates and hot-loading of code!
We have most of the groundwork done for OTA updates. We should have some APIs together in the near future. Hot-loading will be more work, but that should be possible after OTA is ready.
Any chance of a port to the Raspberry Pi Pico 2? It has 520K of ram iirc. The original Pico had half that.