David Declerck
Just because many people are wrong doesn't mean they are right
@joueurdugrenier.bsky.social
Grand Shaman de l'autopunition (oui c'est vraiment le vrai sans deconner)
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@muriel42.bsky.social
OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
@mioune.music
🎙️ Soundtrack Vocalist | aka Mioune | Heard in @temtem.gg, #EdgeOfSeries, #HornsOfFear... ✒️ Lyricist FR & EN 📚 EN→FR Loc. Translator | FR Proofreader 🌐 mioune.music 📧 contact@mioune.fr 🎧 play.reelcrafter.com/0D7H2AVXSYipIOJ0IqZafg 📸 Banner: Jeffry&Betty
@flf.bsky.social
@ocamlpro.bsky.social
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
@axle79.bsky.social
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app