- D Søren Debois @debois.bsky.social
Joris Gundermann @jgundermann.com Freelance 🐪 Dev and Engineering Manager
@jriccdev.bsky.social @jriccdev.bsky.social Formal methods, OCaml, Quantum circuits, Software correctness
Beatrice🍵️ @beatrice8matcha.bsky.social 🖤💜🤍🏳🌈
FR / EN / 中文 OK
程序员，喜欢画画、恐怖片、美食和漫画
记录日常，练习法语😸️
Code, dessin, films d’horreur, bonne cuisine et mangas.
Petits moments du quotidien + pratique du français 😸
@neonshyn.bsky.social @neonshyn.bsky.social 
Alex ❤️💻🐿🍍🐘🎸 @pockystar.bsky.social CEO of myself vanoix.com - Building https://awf-project.ai/ - Fluent in trolling, struggling in English. - Me lire ➡️ alex.balmes.co
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
Vishal Lama @vishallama.bsky.social Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
Vincent Cordobes @vincentcordobes.bsky.social Software engineer 🦁Building https://drumtabs.app
@richard-huxton.bsky.social @richard-huxton.bsky.social - P @pn30.bsky.social @pn30.bsky.social
@metal-orgo-framewk.bsky.social @metal-orgo-framewk.bsky.social 
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
@obazl.bsky.social @obazl.bsky.social 
Clever Cloud @clever.cloud From Code to Product
@dhruv0.bsky.social @dhruv0.bsky.social - M Maris Orbidans @marutks.bsky.social I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
@gilles22300.bsky.social @gilles22300.bsky.social 
@hra687261.bsky.social @hra687261.bsky.social 
Pavel Argentov @argent-smith.bsky.social The synth and the patch
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@techsh.bsky.social @techsh.bsky.social 
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Niki @znichola.bsky.social Aspiring functional programmer, Haskell is the drug of choice.
Student for life at ecole42
Muriel Shan Sei Fan - OCamlPro @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.
David Declerck @davdeclerck.bsky.social Just because many people are wrong doesn't mean they are right
@mathiasbourgoin.bsky.social @mathiasbourgoin.bsky.social 
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd