BlueOrbit @blueorbit.app Grow your bluesky audience with analytics. Learn mote at: https://blueorbit.app. Public beta is now open: https://app.blueorbit.app
Made with ♥️ in Finland
@elgorila.bsky.social @elgorila.bsky.social I have a passion for history and culture, and I always yearn to learn about the different stories and landscapes of the world. Every trip and every book brings me closer to my true self.
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
Oz Akan @oz.akan.io Author. Builder. Tinkerer. Runner. Reader. Curious about time, space, quantum, and mind. Poodle dad.
My Newsletter: https://oz.akan.io/newsletter
fajpunk @fajpunk.com 
edwintorok.eurosky.social @edwintorok.eurosky.social 
A Pat Day @apatday.bsky.social Deeptech founder (stealth)
- engineering high dimensional control planes for energy, finance, & space systems
- low level code; n-dim math (HoTT)- P @plumenator.bsky.social @plumenator.bsky.social
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
granicz @granicz.bsky.social IntelliFactory/F#
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
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
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@tiasmt.bsky.social @tiasmt.bsky.social 
Stephen Adams @stephenradams.bsky.social Freelance/Contract Web developer since the 90s, user of #Angular | #ReactNative | #Node
Https://stephen-adams.dev- 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
@kylef94.bsky.social @kylef94.bsky.social 
jolman @jolman.me dev & foss enjoyer
Dmitriy 🇺🇸🇦🇺🇺🇦🌎🌊🏔️🐋 @soularis999.bsky.social Fathering, husbanding, dogering, coding and traveling… what else can I say
@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 🐫
BitWise-Sentry @blue-hawker.bsky.social Dog and nature lover, cyber-security analyst, computer geek 
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
Ben Brown @benbrown.dev 
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
Alex @alexp.bsky.social friends, 🐈🐈⬛, distributed systems, 🧗🏽♂️
java, go, python (wish: lisp/clojure)
🤾🏽♀️ 🏉 🥅 🏈 🏀
emacs & vim
now: Oracle Cloud
past: InfoQ, TestNG, DataStax, Cassandra, RethinkDB
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
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Junrui Liu @junrui-liu.bsky.social CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
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
@shorsher.bsky.social @shorsher.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
Phoenix Rebel @texdog97.bsky.social Recent convert from Red to Blue. Trying to raise my preteen son to be a Godly man who respects and fights for what is right, not easy.
Kramer @kramer.codes Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
swift moving @larhat.bsky.social (λxy.x)
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer 
Eldonedwards @eldonedwards.bsky.social I am a business researcher. I am also very interested in artificial intelligence and business and education and medicine. Also, I am very interested in popular culture and music. I strive to live a simple healthy life. DTM and CBI.Score counselor.
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Charle @algunahuevada.bsky.social 🇦🇷 un tipo. Escribo giladas en https://consumoproblematico.pckt.blog/
Vincent Balat @vblt.org 
@phamki.bsky.social @phamki.bsky.social 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@the-albert.bsky.social @the-albert.bsky.social I love traditional financial systems. Love talking and thinking about exchanges, options & stocks. Coding mostly in Rust. Interested in all languages without null/nil types.
Ask me about anything!
@gitd.bsky.social @gitd.bsky.social 
miki_rocket @mikirocket.bsky.social Senior Eng @ Large Corp
Chaos Agent
Passionate about Programming
i dont want to hear about your agentic setup, dont waste my tim,e
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
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
@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 🐫- 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 @fractaldragon.net Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
Álvaro Ramírez @xenodium.bsky.social Blogs about #emacs and other stuff at xenodium.com.
Authored plainorg.com and flathabits.com for iOS.
Living in an Emacs buffer somewhere in London.
Also at https://twitter.com/xenodium and https://indieweb.social/@xenodium
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Jeremy @jdf.id.au anaesthetist, perfusionist; lisp and jsbach enjoyer
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.
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 
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.
@jawla.bsky.social @jawla.bsky.social 
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Lethal Lizard @isutton.bsky.social I write code.
Technology Brobdingnagian @dfeldman.org 
@mrluje.bsky.social @mrluje.bsky.social 
Adam Wyłuda @adamwyluda.com Software developer from Białystok, Poland.
Interested mostly in AI, Rust and ATProto.
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
Seref Arikan @seref.bsky.social Nerd. Programmer. Consultant at times. Tech lead at Ocean Health Systems. Londoner, likes writing code, sci-fi, B movies. Likes kind people. Please don't yell.
sokz @sokz.app 📖 Cryptonomicon