A quick and dirty example of using tinygo on your Raspberry Pi Pico, or other rp2040 compatible board.
This requires you to have tinygo installed. The replace directive inside of go.mod is for gopls to be able to pick up the tinygo machine package and provide autocompletion, and may not be necessary in your setup.
tinygo has a flash command, but I was unable to get it working with a PicoProbe (detailed here in appendix A, or page 64).
The Makefile instead uses tinygo to build the binary, and openocd to flash it using the picoprobe.