wariziles @riziles.bsky.social Evil pallette swapped version of myself.
He/him/his.
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
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
@kephasp.bsky.social @kephasp.bsky.social
@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
@proustian.bsky.social @proustian.bsky.social 🐫
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
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
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!
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
Pascal @lacsapm.bsky.social SFFF, astronomie, informatique et puis tout le reste
Membre de @podcastscience.fm
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
Bella Smith ⭐ @bellasmith0705.substack.com Human Behavior/Psychology Enthusiast, Empath, Introvert, INFJ. Loves to write about life, psychology and relationships❤️❤️ let's connect: https://linktr.ee/bellasmith0705
Charle @algunahuevada.bsky.social 🇦🇷 un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/
Vincent Balat @vblt.org
@phamki.bsky.social @phamki.bsky.social - 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
Andre @andrevdm.bsky.social Software developer at http://hyraxbio.com. 0x20 supporter. λ
Antoine Leblanc @nicuveo.gay Friendly neighbourhood queer nerd. My cutie mark is a lambda. They / them.
https://nicuveo.me
Manos Ragiadakos @rm4n0s.bsky.social I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
Hurluberlu•e @hurluberlu-e.bsky.social They/He - Old dinosaur
Turbogaucho goth
AnarchaQueer à chats
Introverti ascendant masquage.
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.
Gabriel Díaz @qswarm.com
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
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.
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
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 🪼⛵✡️
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
sokz @sokz.app 📖 Cryptonomicon
Kentaromiura @kentaromiura.bsky.social
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
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
JG @jgabriel.dev.br Fullstack Software Developer (Engineer?)
Typescript, Ruby on Rails, Python, qualquer coisa que pague as contas
Lee Si young Page @leesiyoung.bsky.social actor
youtuber
#siyoung
Mr CoinX @mrcoinx.bsky.social Ready Follow Back :)
Kingdom of Otaku(☞ ͡° ͜ʖ ͡°)☞ @kingdoms-otaku.bsky.social Hi my friends, i am an anime otaku.
I keep the beautiful moments in the anime i watched
I love them, i love you 😍😍😍😍😍too
Jason Hammock @jhammock.bsky.social
Mohamed Belaroussi @mbelaroussi.bsky.social Militant de gauche #Marseille #LFI
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
@nyame1.bsky.social @nyame1.bsky.social
Taras Glek @taras.glek.net LLMs, system programming
https://taras.glek.net - G @gretar.bsky.social @gretar.bsky.social
Herbert Hudson @herberthudson.bsky.social 30+ • developer • Married • Love Gamming and Programming! 🇧🇷
Light @maheshbansod.com i love computers, science, math and understanding the world around us.
https://maheshbansod.com
@iodelay.bsky.social @iodelay.bsky.social
Iron @ironsandwich.bsky.social • he/him • Aro/Ace
• AuDHD • ACAB • anti-terf, anti-fascist and anti-lgbtphobic
• Your favorite punk à chien sans chien • ♋
Jojo @practicat.bsky.social A nerd and former tumblr user (She/her)
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
@dlobrai.co @dlobrai.co
Kamil 🧑💻 cimatic.io @kamil.chm.ski Driving CI/CD innovations @cimatic.io
#buildinpublic https://kamil.chm.ski/
gablin @gsbcamargo.bsky.social music lover, code wrangler, law bender
an autistic carbon-based life form
Ellie Bee @ruddernonsense.com Taken by Clay🦊❤️ 🦦
🏳️⚧️(she/her),
🔞
Kirei Kotomine @novnod.dev nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹
neovim btw
Ner0K1 @ner0k1.bsky.social nerok1.site