Todd Gamblin @tgamblin.bsky.social Dev tools, open source, HPC, systems, parallel computing at LLNL. spack.io guy. Setting up http://hpsf.io. Opinions mine. he/him.
Amin Khansari @akhansari.tech Gardening where people, tech, product, and LLMs meet.
Passionate about the terminal, functional programming, and product thinking.
https://akhansari.tech/
๐ช๐บ๐ซ๐ท
fajpunk @fajpunk.com 
Sean @srockrocks.bsky.social Distributed systems, compilers, high tide + aetherflux, drum machines
Grace Solutions Ltd. @grace-solutions.bsky.social A tech services and support company here to help you achieve your goals by crafting aligned, best-value tech solutions. Specialises in supporting and providing discounted services to not-for-profit organisations.
Based in Cambridge, UK.
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.
Mateusz Kapusta @mrkap.eu ML and Physics @ ASML
InnocentZero @innocentzer0.eurosky.social Just bored. Occasionally writes shitty rust, nushell over python any day, likes SW and HW security.
Will totally ramble about things. Opinions are my own.
innocentzero.is-a.dev
innocentzero.atabook.org
https://kbin.earth/u/innocentzero on fediverse
Sean Kearney @sr0ck.bsky.social 
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io- A Adam @adamg.computer Software engineer. Mostly interested in Rust, data intensive systems and cats. jlm -> tlv -> ldn.
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
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
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
Moritz Hamann @moritzhamann.com Engineering Manager at Bloomberg LP. Opinions are my own.
Mastodon: @MoritzHamann@mastodon.social
https://moritzhamann.com
Frank Force @frankforce.bsky.social Programmer โข Game Dev โข Generative Artist โข Size Coder โข Musician โข Zen Buddhist โข Wizard โข Friend to Cats ๐ linktr.ee/frankforce- B brycepitcher.bsky.social @brycepitcher.bsky.social
alexander-codes.bsky.social @alexander-codes.bsky.social building spacecake.ai for claude code ๐ฆ
Skeptic @m4z1n.bsky.social 
Joe Cutler @alphaconvert.bsky.social cutler.pl
Michele Alberti @lambdaxdotx.bsky.social 
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
sbahri @sbahri.bsky.social 
@ryan.freumh.org @ryan.freumh.org Computer Scientist
@nis247.bsky.social @nis247.bsky.social 
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
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
๐ฆ๐บ ๐ณ๏ธโ๐
Blog: https://www.chrisarmstrong.dev
@jcferreira.bsky.social @jcferreira.bsky.social 
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com- T @thumbquat.bsky.social @thumbquat.bsky.social
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Patrick McGahon @paadzer.bsky.social Irish gay guy in the East of England ๐ณ๏ธโ๐
In my fifties
EastEnders & Bargain Hunt fan
RIP mum ๐ 2022
Worked at Cambridge University & NHS
Awful at responding to DMs
Sober a few years
Not looking for hookups
Avishek ghosh @avishekcolours.bsky.social 
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
@kylef94.bsky.social @kylef94.bsky.social 
@wonkdd.bsky.social @wonkdd.bsky.social 
jolman @jolman.me dev & foss enjoyer
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
Nate @smith.fo Software ๐ฆโ๐ช โข Philosophy ๐ง โข Maths ๐งฎ
Having the moment of anagnorisis as a developer
@xandkar.bsky.social @xandkar.bsky.social I like languages, distributed systems, and a life examined.
ฮป๐ซ๐ฆ
https://xandkar.net/
Latin: xandkarus.bsky.social
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton- S @sharno3.bsky.social @sharno3.bsky.social
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Buyera Bilal (CEO humanity and Lillah charity) @buyera.bsky.social Serving humanity through feeding the orphans and needy, constructing water wells, food packs, iftar meals, qurbani donations, emergency relief, Quran distribution, aqiqah and many others ๐ฅ+255780598366 for more information
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- N Sunil Nimmagadda @nimmagadda.net Principal SRE, loves to code and tinkers with *BSD.
Aaron Christianson @ninjaaron.bsky.social OCaml. Pronouns in bio.
Nick De Roeck @nickderoeck.bsky.social ๐ณ๏ธโ๐ ex-Twitter exile looking for less manipulation and negativity, and
more democracy and positivism. Blog @ https://publish.obsidian.md/nickderoeck
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@or-gho.bsky.social @or-gho.bsky.social 
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Eli Dowling @elidowling.com Software dev | Lover of language design and Dev tooling |
Mainly: ๐ช
Sometimes: ๐ฆ, F#
Paid to: ๐
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.
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
Mistral Contrastin @madgen0.bsky.social Programming language, formal methods, and cliff enthusiast.
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Jeff Hammerbacher @hammer.blue Curious
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, โฆ), sysadmin, infosec and others things like that
Benjamin Geer @benjamingeer.name Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-2449-8558
David @david2am.bsky.social match David with ๐ค -> web dev
| ๐ช -> into #OCaml
| โ๏ธ -> read him on dev.to/david2am
| _ -> ๐จ๐ด, โ๏ธ
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Gabriel @gm0stache.eu offline techy.
internet hippie.
techno optimist.
eu/acc advocate.
[โ๏ธ...๐](https://blog.gm0stache.eu)
[๐งโ๐ป...๐ฅ](https://tangled.org/gm0stache.eu)
tatchi @tatchi.bsky.social 
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.
Sudha @sudha24.bsky.social 
Will @nullit.bsky.social Music and rambling
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Christopher / ใฏใชใน @atomicptr.dev Husbandใปprogrammerใป ๐ฉ๐ช ๐ด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ ๐ฏ๐ตใปbjj/judoใป๐ง
Simon @sreilich.de Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universitรคt Mรผnchen
Other interests: Physics, Accordion, Judo and Design
https://about.sreilich.de
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 ๐ซ
Wild pentachoron correspondent @crossslide.bsky.social Amethyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
ใจใฉใพใใใไพใชใใ
43 years old.
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
@aucacoyan.bsky.social @aucacoyan.bsky.social 
Hunter @hdemeyer.bsky.social Informatics PhD student @ UIUC
Software Studies & Technical Writing
Doing qualitative research on Research Software Engineering
Interested in tool development, type systems, rhetoric, version control, computer history, philosophy of science
Pierre Chalamet @pchalamet.bsky.social โ๏ธ๐๐งป๐ง๐๏ธ๐๐ญ๐ฆ๐ด๐บ๐๐ธ๐พ
Founder of @MagnusOpera.io
Making @terrabuild.io
Max @altior.bsky.social Erlang programming language alumni.
Pro-nuclear Energy.
Telco engineer.
Blindside flanker.
Jamie Donaldson @jamiedonaldson.bsky.social Full stack developer: FPGAs to web apps- J @jamsta.bsky.social @jamsta.bsky.social
@wrd-austin.bsky.social @wrd-austin.bsky.social 
Sheera @sheera82.bsky.social - M Magnus Jacobsen @magnusjacobsen.bsky.social
@prozacchiwawa.bsky.social @prozacchiwawa.bsky.social Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
Hyeseong Kim @hyeseong.kim Integration engineer / Open source hitchhiker / DX enthusiast
@rescript-lang.org committer
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
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
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
Petro @vpetro.bsky.social Building things for everyone with Python and LLMs. Before this, was building things with Scala.
๐ก- https://vpetro.io
๐จโ๐ป- https://github.com/vpetro
Kramer @kramer.codes Writing #ElixirLang at remote.com ๐
Code: https://github.com/hamptokr
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer 
Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
๐ Bucharest, Romania
https://alexn.org/about/
ฮปdu.du @handle.invalid ๐ง๐ท
logic | PLT | Concurrency
Charle @algunahuevada.bsky.social ๐ฆ๐ท un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/