Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Rasyid @lispiest.bsky.social 
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Emiel @ttyout.net 
@composmin.bsky.social @composmin.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
roza @roza-0.bsky.social Maths - CS - Programming - Cognitive Science ...
Mais curieux de toutes choses en général
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
@mlecabellec.bsky.social @mlecabellec.bsky.social 
@nis247.bsky.social @nis247.bsky.social 
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@mikejeuga.bsky.social @mikejeuga.bsky.social 
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
a public builder @publicbuilder.bsky.social doing some experiments to build something in public- P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
Bozhidar Batsov (a.k.a. Bug) @batsov.net Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
thunderseethe @thunderseethe.dev 
@7fff.bsky.social @7fff.bsky.social 
@xmateozzz.bsky.social @xmateozzz.bsky.social 
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Cochrane France @cochranefrance.bsky.social Des données probantes, des décisions éclairées, une meilleure santé.
france.cochrane.org
Cochrane France est l'un des Groupes Géographiques de @cochrane.org
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
@thatredone69.bsky.social @thatredone69.bsky.social 
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Fret Ferroviaire @fretferroviaire.bsky.social Actualités autour du fret ferroviaire, des chargeurs en logistique, du réseau ferroviaire, et tout ce qui a trait au report modal.
Spotteur à ses heures perdues : https://trainsfret.com/
Olivier Bastien @bass42.bsky.social Researcher in theoretical biology, plant science & exobiology. PhD aka docteur 👨🎓 #guitarist 🎸 #draftsman ✏ #Tolkien 🧙♂️ rôliste #Photography 📸 #INRAE 🐧
RockallSeaBird @rockallseabird.bsky.social Sciences Nature et poesie
#Livres #EspritDeDefense #Nature #Sciences
⛵️🇨🇵
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
mixlamalice @mixlamalice.bsky.social Grouillot de l'#ESR jusqu'en 2023, désormais sergent-chef sans carotte ni bâton. A part ça, papa, gastronome, hardos et comique troupier. 
Jean-Luc Raymond @jeanlucr.bsky.social ✍️ #Journaliste Tech pour Le Dauphiné Libéré & Les Clés du Digital & pigiste / #AI #Cyber #Deeptech #Ecommerce #HealthTech #PetTech / Prod Audio 📱Digital marketing, Brand content senior consulting📍Paris 🎓Enseignant CELSA 📩 hello@jeanlucraymond.fr
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Torben Ewert @t.ewert.foo 
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Frank Emrich @fremrich.bsky.social doing PL & compiler work in Edinburgh
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
@bkarel.bsky.social @bkarel.bsky.social 
Gabriel @gm0stache.eu offline techy.
internet hippie.
techno optimist.
eu/acc advocate.
[✍️...💌](https://blog.gm0stache.eu)
[🧑💻...💥](https://tangled.org/gm0stache.eu)- O Obiter questum @obiterquestum.bsky.social
Guillaume Bogard @guillaumebogard.dev (he/him) Developer (Haskell, Rust). Enjoys FP and static typing. Interested in databases and distributed systems. Theme park enthusiast 🎢 🏳️🌈 🇪🇺
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Simon Gregersen @simongregersen.com Tenure-track faculty @ CISPA
@fjolliton.bsky.social @fjolliton.bsky.social 
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Michele Alberti @lambdaxdotx.bsky.social - F @felixmoebius.bsky.social @felixmoebius.bsky.social
Jon Ludlam @jon.recoil.org 
Ttamttam @ttamttam.bsky.social 
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
kuk @kukntoast.eurosky.social Prof λ en lycée du 92 (maths)
🦧🏉♘
Rin @rin.rocks github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE
Informaticien spé philo 🐫 @cyranhoe.bsky.social Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Prof en colère @angryprof39.bsky.social Lettrée mention Pratchett/Perec/Vian. Cinéphile option Lynch/Monty Python. Geek cursus Ubuntu/Zelda/Myst. Féministe. Ni Dieu ni paramaîtres ! CGT Educ'action. Je suis assez calée concernant le droit du travail dans l'EN, les DGH, questions bienvenues.
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
Moritz Hamann @moritzhamann.com Engineering Manager at Bloomberg LP. Opinions are my own.
Mastodon: @MoritzHamann@mastodon.social
https://moritzhamann.com
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
p1xelHer0 @p1xelher0.com 
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Sadiq Jaffer @sadiq.toao.com Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Andre Popp @andreypopp.bsky.social 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info- S @star007.bsky.social @star007.bsky.social