Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
fajpunk @fajpunk.com 
edwintorok.eurosky.social @edwintorok.eurosky.social 
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
@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
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
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 
jolman @jolman.me dev & foss enjoyer
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@proustian.bsky.social @proustian.bsky.social 🐫
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
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
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
Arborius @handle.invalid 🎲Board game designer🎓Grad student studying 💾 bits and bytes 🖥️⚙️Operating systems📈mathematical finance
Weekly playtesting: https://arborius.online/discord
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
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
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.
Girly Cathleen @innocentbettie09.bsky.social 
Will @nullit.bsky.social Music and rambling
Moritz Hamann @moritzhamann.com Engineering Manager at Bloomberg LP. Opinions are my own.
Mastodon: @MoritzHamann@mastodon.social
https://moritzhamann.com
Sri @nsri.bsky.social Math. Haskell. Program Analysis.
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Gerard Finol @gerardfinol.bsky.social Mathematician and CS | PhDing and researcher | Messing around with distributed systems and functional programming
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
@xmateozzz.bsky.social @xmateozzz.bsky.social 
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!
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
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 
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris- 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
Tim Lavoie @handle.invalid Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
1983 Unimog 1300 Firetruck @firetr.uk any/all
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
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.
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.
nhuck @nhuck.bsky.social bit shuffler and theorem prover
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
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.
lin ᯓᡣ𐭩 @caethel.bsky.social ₊♡°‧ whimsy for the digital age
°° cs student + electronic music enthusiast
°`•hci and culture nerd
📍de
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
Ttamttam @ttamttam.bsky.social 
Lethal Lizard @isutton.bsky.social I write code.
Weißstreifen @weissstreifen.eu 🛠️ - Web developer by day
🥞 - Game developer by night
🧙🏻♂️ - (badly) solving coding puzzles
🌎 - weissstreifen.eu
100% AI free
Mantissa Significand @marinagirl.bsky.social pilates and vibes 🪼⛵✡️
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
@jhemann.bsky.social @jhemann.bsky.social 
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
sokz @sokz.app 📖 Cryptonomicon
Kentaromiura @kentaromiura.bsky.social 
JohnnyBoyGaming1 @johnnyboygaming1.bsky.social Follow me on https://rumble.com/user/JohnnyBoyGaming1
Saddam Hossain @saddambd24.bsky.social Web 🌐 Development Simplified • Frontend Web Developer • Learning and Building ( Javascript, React.js,Next.js )🚀 • Simpler threads • Join the journey🤝
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
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.