Followers
@isaacvando.bsky.social@roc-lang.org @roc-lang.org Official Bluesky account for the Roc Programming Language. https://roc-lang.org
Allyn Bottorff @b6f.net electrical engineer, infrastructure and application delivery nerd, self-hosting all the things, https://b6f.net
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger Skeets by Matt Luckcuck & Akhila Bairy Website: https://fmasworkshop.github.io
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera