Ciro Santilli @cirosantilli  40

Uses printf to print some bytes somewhere, usually the first UART of the board.

Blinks the on-board LED if the board has one.

Does not work on:

Zephyr docs: docs.zephyrproject.org/latest/boards/raspberrypi/rpi_pico/doc/index.html

Note that the LED blinker example does not work on the Raspberry Pi Pico W, see also: Run Zephyr on Raspberry Pi Pico W.

You can speed up the debug loop a little bit by plugging the Pi with BOOTSEL selected, and then running:This flashes the image, and immediately turns off BOOTSEL mode and runs the program.

However to run again you need to unplug the USB and re-plug with BOOTSEL again so it is still painful.

Getting started on Ubuntu 25.04: see: Program Raspberry Pi Pico W with X.

Then ignore the other steps from the tutorial, as theese use the picozero package, which is broken with this error: github.com/raspberrypilearning/getting-started-with-the-pico/issues/57and uses picozero specific code. Rather, just use our examples from rpi-pico-w.

The "exascale hypothesis" is a name made up by Ciro Santilli to refer to the hypothesis that the real-time human brain simulation becomes possible at exascale computing.

It is a simple extrapolation from the number of synapses in the human brain ($10^{15}$) times the number of times each neuron fires per second.

This is the hello world program of microcontrollers: blinking and LED! Many boards have an on-board LED, making this a convenient hello world that does not require any external components.

Other programs that can be considered "hello worlds" in different contexts:

They seem to do autoformalization, automated theorem proving and code generation, and they use Lean a lot. Sounds fun.

Board with a STM32F411CEU6 and breakout pin.

MicroPython driver: github.com/Danielerikrust/LCD-20x4-Feed

2x.

16 free-running programmable 12-bit output resolution