Following
@arnaudai.bsky.socialRomain Ruetschi @romac.me Hi! I am Romain (or Romac). At work, I strive to build correct and resilient distributed systems using Rust and formal methods. At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
Dylan Bourgeois @dtsbourg.bsky.social Crafting artificially intelligent minds • Formerly @ClaryoInc | @RobustAI | @Stanford | @CERN | @EPFL • 🇫🇷|🇺🇸
Frederic Jacobs @fredericjacobs.com www.fredericjacobs.com https://ger.mx/A-RGsldmQt0iXfnzPgXNzLzA5_jvDbWHabqz1yJrt2ma#did:plc:oxwmqopgbm3driwzues7odpz
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app