Ian Aitkenhead @ianaitkenhead.bsky.social Countertenor-turned-lawyer and quiz host, player of poker and Perudo, fan of good red wine and Leicester City. You may not confer - one of you may buzz.
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Tim Harford @timharford.ft.com FT columnist, BBC journalist, author, host of Cautionary Tales, professional nerd.
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Catherine @whitequark.org sorceress
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@ryan.freumh.org @ryan.freumh.org Computer Scientist
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
OggCamp @oggcamp.org Running since 2009, the biggest Open Source community event in the UK. Find out more at https://oggcamp.org
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady- L Frédéric Bour @let-def.bsky.social
Sudha @sudha24.bsky.social 
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
edwintorok.eurosky.social @edwintorok.eurosky.social 
Lucas Pluvinage @lortex.bsky.social What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
@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 🐫
Energy & Environment Group, Cambridge Computer Science @eeg.cl.cam.ac.uk We are the Energy and Environment research group at Cambridge Computer Science. You can find our homepage at https://www.cst.cam.ac.uk/research/eeg, and all videos from our seminar series at https://watch.eeg.cl.cam.ac.uk
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.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
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
Vincent Balat @vblt.org 
Alberta Tech @albertatech.bsky.social 👩💻 Software eng
🤪 Creator of cringe tech videos
🥺 The funniest girl in us-east-1
beacons.ai/albertatech
Julian Woodward @woowar.com 
Katy Cooper @decsop1.bsky.social Singing, cycling and cricket.
(For NCDs/health stuff, hop over to @healthkaty.)
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
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
William Gaunt @yorksbass.bsky.social "Not quite a bass" (© N Powell, vocal guru). Yorkshireman in exile. Have vocal cords, will travel.
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
cube @c-cube.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
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
@lyrm.bsky.social @lyrm.bsky.social 
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance - N @nickbarnes.bsky.social @nickbarnes.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
The Guardian @theguardian.com The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com
🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
Andre Popp @andreypopp.bsky.social 
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell- O @oandrieu.bsky.social @oandrieu.bsky.social
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet 🖖
James O’Brien @mrjamesob.bsky.social Broadcaster @lbc.co.uk
Author: https://www.waterstones.com/book/how-they-broke-britain/james-obrien/9780753560365
William Whitehead @williamwhitehead.bsky.social Musician | Real Tennis Player | Forgetter of Hotel Room Numbers
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Dmitrii Kovanikov @chshersh.com 🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
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.
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
Susie Dent @susiedentwords.bsky.social Always in the Corner
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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
Jon Ludlam @jon.recoil.org 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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!
OCaml @ocaml.org https://ocaml.org
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app