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
Jon Ludlam @jon.recoil.org 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
Andre Popp @andreypopp.bsky.social 
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
@lyrm.bsky.social @lyrm.bsky.social 
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
cube @c-cube.bsky.social 
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Cambridge Computer Science @cst.cam.ac.uk Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
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- L Frédéric Bour @let-def.bsky.social
Rob Palmer @robpalmer.bsky.social JavaScript Infrastructure & Tooling at Bloomberg. Co-chairing TC39. Likely to tweet tech stuff about JS & software performance. Opinions are my own.
Chris de Almeida @softwarechris.com Programmer at IBM 💥 co-chair TC39 💥 OpenJS 💥 OpenSSF 💥 Ecma
TC39 @tc39.es new JavaScript who dis
Ujjwal Sharma @ryzokuken.dev Developer Advocacy, Programming Languages & Web Standards @igalia.com
@tc39.es co-chair, ECMA-402 (JS Intl) co-editor
A Coruña, Galiza
🏴🐈⬛
https://www.ryzokuken.dev/
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Sudha @sudha247.bsky.social Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
Sam Huckaby @samhuckaby.bsky.social ✝️Husband and father
https://samhuckaby.com
https://origins.fm
Vincent Balat @vblt.org 
Shakthi Kannan @shakthimaan.bsky.social Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
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!
Ocsigen @ocsigen.org The next generation Web and mobile framework.
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Daniel Ehrenberg @littledan.dev
(((🏳️🌈🪗🎹🏊🟥🟨🟪)))
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
Stan @fuolpit.bsky.social I like building stuff with code
https://github.com/angristan
https://stanislas.blog
oeiuwq @oeiuwq.com SDA. ser feliz es mi color de identidad.
navego en el mar de las cosas exactas.
let this = lib.flip that; in lib.flip this;
Nix/Rust/Go/Scala
vborja at apache.org
github.com/vic
Jardines de agua.
Nenúfares, sal.
Lanif led lanif le atsah!
x.com/oeiuwq
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance 
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
Yoshihiro Imai @yoshihiro503.github.io 
OCaml @ocaml.org https://ocaml.org
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
Hacker News JP @hacker-news-jp.bsky.social Hacker Newsのトップ記事を日本語翻訳して定期的に投稿するBot。GPT3.5を使って、記事の要約もスレッドに投稿。
Made by: @kawamataryo.bsky.social
Code: github.com/kawamataryo/bsky-hacker-news-jp
Jun Furuse @jun.dailambda.jp Fishing, Kyoto, OCaml, No Phishing
釣り、京都
orumin @orum.in work at mobility company.
interested in
OS/virtualization/unikernel/cloud platform
vintage computer/game console hack
mythrogy/religion/grimoire/occultism
X (formerly Twitter) account is https://x.com/orumin
EGOIST @egoist.dev buy me a coffee: github.com/sponsors/egoist
眼力 玉壱號 @objectx.bsky.social You must finish what you started.
Signal: objectx.89
AT Protocol Developers @atproto.com Social networking technology created by Bluesky.
Developer-focused account. Follow @bsky.app for general announcements!
Bluesky API docs: docs.bsky.app
AT Protocol specs: atproto.com
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
Kate @kit-ty-kate.exn.st Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
🚩🏴
📍 Glasgow, Scotland
📢 FR/EN/DE
🎨 Avatar by @chordbug.bsky.social
📓 exn.st
See also:
🐘 mastodon.social/@kit_ty_kate
🐞 https://cohost.org/kit-ty-kate
Catherine @whitequark.org sorceress
lynn @chordbug.bsky.social math music conlangs weird toys ⎃
https://lynn.github.io/