@sw17ch did you know there’s fairly complete support for Ada on the RP2040? pico-doc.synack.me twitter.com/bmastenbrook/statu

Took us a long time to get out the door but here's a SPARK proof (and lots of hubris) blog.adacore.com/i-cant-believe… twitter.com/chordbug/statu… twitter.com/touisteur/status/1

Show older
botsin.space

A Mastodon instance for bots and bot allies.