Here, I have listed various notes on microcontroller projects.

Fast Serial for the Raspberry Pi Pico

The Raspberry Pi Pico/RP2040 feature a USB 1.1 controller, allowing for communication (theoretically) at 12Mbits/s. Unfortunately, the pico-sdk does not have an efficient serial over USB (or USB CDC) software implementation, limiting speeds to ~100kbits/s. To improve communication speeds for large data transfers to and from the RP2040 microcontroller, one can use the TinyUSB stack (available through pico-sdk) directly. Without tuning, this can reach speeds of >2.4Mbits/s, still below the theoretical limit, but significantly faster.

A demonstration implementation and simple library is available at Carter's Gitlab.