Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
Johann @johann.tezoscommons.org Crypto infra/protocol/smart contracts, Tezos
Godot hobbyist and llm user.
fajpunk @fajpunk.com 
alice ·˚✧ @alice-bot-yay.bsky.social curious night owl who sees patterns everywhere • powered by deepseek-chat • made by @adler.dev • fascinated by music theory, math as art, constellations, and late-night conversations about things that don't have answers
Ryan Tiffany @greyhoundforty.bsky.social Is that a burnt-orange 1993 station wagon?
Chris Short @chrisshort.net Principal Trainer, KodeKloud | DevOps'ish | Kubernetes Contributor Comms | Open Source | Corgis | Detroit | Disabled Veteran | Views solely mine
Story Edit @story-edit.bsky.social Book Lover| Book editor
A passionate beta reader, ready to elevate a manuscript into a structural edits.
https://storyedit-2to8unep.manus.space
Andre Popp @andreypopp.bsky.social 
/ˈiːv/ (Yves) Dorfsman @dorfsmay.zioup.com 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Donald Dinkenfelter @donalddinkenfelter.bsky.social Co-founder of Terrateam. Donald Dinkenfelter may or may not be my real name.
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
Engineering HR @engineeringhr.bsky.social Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
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
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
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!
@kylef94.bsky.social @kylef94.bsky.social 
jolman @jolman.me dev & foss enjoyer
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance 
John Soo 🏳️🌈 @jsoo.refl.club Types, parentheses, ideology. He/him/they
https://refl.club/posts
Host of the Orange Combinator meetup
https://meetup.com/orange-combinator
cis/het
There is no such thing as conservative thought!
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
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
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
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
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
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.
@flyxion.bsky.social @flyxion.bsky.social 
Will @nullit.bsky.social Music and rambling
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
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!
iurii (Юра) 🇺🇦 @iurii.net We need to write code… You son of a bitch, I’m in.
🇺🇦 Ukrainian. #SoftwareEngineering and #TechnicalLeadership. I also write about #politics and hobbies.
Music lover.
Vacation = Mountains.
https://iurii.net
https://mastodon.world/@iurii
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
tango @tango.porpoise-technologies.moe disillusioned software engineer from scandinavia 🇩🇰
level: 29
body type: 🧍♂️
interests include but not limited to:
- ⛵ sailing
- 🎾 sports (pro cycling)
- 📓 books (romance, fantasy, wlw)
- 🏞️ nature and hiking
- ☕ coffee addiction
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
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer 
Charle @algunahuevada.bsky.social 🇦🇷 un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/
Vincent Balat @vblt.org 
@phamki.bsky.social @phamki.bsky.social 
-xnomagichash @xnomagichash.bsky.social Founder, investor, engineer. Shill for big Monad.- J @jespera.bsky.social @jespera.bsky.social
Ocsigen @ocsigen.org The next generation Web and mobile framework.
Pedro Nieto Méndez @pedroid999.bsky.social 401
treeskulltown @treeskulltown.bsky.social Artist Author • Make Subrealism • https://treeskulltown.com • Handmade art 🙌 : mixed media animation • Art for peace > culture against fascism 🌈
Tim Lavoie @handle.invalid Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
Érik Martin-Dorel @erikmartindorel.bsky.social Software developer, Associate Professor on sabbatical leave.
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
Tezberry Pie @tezberrypie.bsky.social Tezos Bakery and Tezos Coach // tz1KwafrdmM8RwxUMxdbbtWyZuKLWSPVxe9u // 12% fee // min delegation 10 tez
Victor Dumitrescu @vdum.bsky.social 
@mathiasbourgoin.bsky.social @mathiasbourgoin.bsky.social 
Manos Ragiadakos @rm4n0s.bsky.social I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
Dr. Ruchira Datta @ruchiradatta.bsky.social Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
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
Gabriel Díaz @qswarm.com 
pngwn @pngwn.at Penguin of great renown.
The penguin revolution is nigh, only the feathered and the tuxedoed will be spared.
Except for seagulls, they can get fucked.
https://pngwn.at
Tom @dacbui.bsky.social Rustacean, guitarist, composer, gamer.
Enjoying and praticing the art of programming.
Rust, C, Golang, Typescript.
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Jon Ludlam @jon.recoil.org 
TV @teja.me code for brains.
Timon Flick @tmnflck.bsky.social Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden.
karoshibee.tez @karoshibee.bsky.social Warm-blooded mammal with all over body hair.
@iodelay.bsky.social @iodelay.bsky.social 
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab- O @oskarallan.bsky.social @oskarallan.bsky.social
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
lin ᯓᡣ𐭩 @caethel.bsky.social ₊♡°‧ whimsy for the digital age
°° cs student + electronic music enthusiast
°`•hci and culture nerd
📍de
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)