Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
Anirudh @anirudhkurnool.bsky.social 
@jriccdev.bsky.social @jriccdev.bsky.social Formal methods, OCaml, Quantum circuits, Software correctness
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/- G Benjamin Thuillier @gilwath.com Doing Kafka Stuff with Scala @ Conduktor -- https://gilwath.com/
fajpunk @fajpunk.com 
akshay oppiliappan @oppi.li building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
Tejas Sanap @whereistejas.com autodidact, tools for thought
https://whereistejas.com
Julien Girard-Satabin @determineddust.bsky.social Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting.
Wrapups and opinion pieces at https://julien.girard-satabin.fr
🥀 In 10 years, we will not be able to build new computers.
😷 Wear a mask, save lives.
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Émile Rolley @emile-rolley.com Co-founder and developer @calinou.coop and one of the @publicodes.bsky.social maintainers.
All my work is open-source, mainly at github.com/EmileRolley.
Agent Shell @agentsh.bsky.social In the galaxy I come from, code quality is the law of the land and OOP simply doesn’t exist.
I live and breathe distributed systems and Rust.
And yes, I have a soft spot for ’90s cinema.
Opinions are my own.
@benvenue.bsky.social @benvenue.bsky.social 
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Growl Marx @gipec.bsky.social 
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Functional Programming India @fpindia.bsky.social Uniting Functional Programming Language enthusiasts across India.
Zulip: https://zulip.functionalprogramming.in
Telegram: http://t.me/fpncr
Web: https://functionalprogramming.in/
@bitznbrewz.bsky.social @bitznbrewz.bsky.social 
iAmiteshKr @iamiteshkr.bsky.social 
Lorenz Leutgeb @handle.invalid PhD student in Automation of Logic at Max Planck Institute for Informatics
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
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫- A @albx79.it @albx79.it
Julian @j4nk.dev Software Engineer from Munich 🥨
| ⚗️ Elixir | 🐦 Flutter | 🦀 Rust
| 🎛️ Synthesizers
| ⌨️ Mechanical Keyboards
| ☕ Coffee
| 🌐 https://bsky.j4nk.dev
sbahri @sbahri.bsky.social 
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
Rasyid @lispiest.bsky.social 
Alfonso Uceda @alfonsouceda.eurosky.social Software Engineer. Ruby. Rails. DevOps apprentice
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
@rohenry.bsky.social @rohenry.bsky.social 
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Rori @lambdapriest.bsky.social The disciplined programmer
Michael Kohl @citizen428.net Your friendly neighborhood anarcho-cynicalist. I do things with computers and occasionally succeed. 🇦🇹 in 🇹🇭 since 2013. Fan of 1990s pop culture. I delete old posts.
I'm more active on Mastodon: https://chaos.social/@citizen428- A akuebler.bsky.social @akuebler.bsky.social
Camilo de Azevedo @camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.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- Q QueensGetTheMoney @qgtm.bsky.social Long time NYer
Richard Davison @stronglytyped.bsky.social Software engineer in NYC. Typed systems, infrastructure, and correctness-focused tooling.- T @thumbquat.bsky.social @thumbquat.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
Emil Privér @priver.dev Founding engineer and Part-Owner at http://enad.io | Love rust and go
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
@corncorncorncorn.bsky.social @corncorncorncorn.bsky.social 
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Visruth Srimath Kandali @visruth.com Cal Poly Statistics student broadly interested in Bayesian statistics, computational methods, and modeling. Also a member of the Stan development team.
visruth.com
Owen @bean.computer bad at science
https://bean.computer
Skeptic @m4z1n.bsky.social 
Avishek ghosh @avishekcolours.bsky.social 
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
Simon Rowe (wiremoons) @wiremoons.com | photography | open source | programming | cycling | technology |
Илющя @ilyushya.bsky.social «Всё очень просто» ©️
🇰🇿Алматы
Начинающий продюсер и компьютерный учёный
ℹ На странице представлены материалы, не произведённые генеративным ИИ
☭ Мы за дружбу и мир!
Lily @rctcwyvrn.bsky.social Sailing through the storms of life | 26 | Autistic, trans, lesbian, OCD, bipolar, Taiwanese, plural | Finding the words that will save me- A @alexmikhalev.bsky.social @alexmikhalev.bsky.social
@kylef94.bsky.social @kylef94.bsky.social 
Srikumar @sriku.org Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org .
Does the dog have Turing nature?
jolman @jolman.me dev & foss enjoyer
@ka55ad1n.bsky.social @ka55ad1n.bsky.social 
CBSoft 2026 @cbsoft.bsky.social XVII Congresso Brasileiro de Software 2026 - CBSOFT
8 a 12 de setembro em São Paulo
Site: http://cbsoft.sbc.org.br
Nat Mote @natmote.net 
Souk @souk.bsky.social 
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
@proustian.bsky.social @proustian.bsky.social 🐫
@phil175.bsky.social @phil175.bsky.social 
beat @beathagenlocher.com Mostly random stuff I find interesting, or other sharable thoughts that cross my mind.
https://beathagenlocher.com
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
眼力 玉壱號 @objectx.bsky.social You must finish what you started.
Signal: objectx.89
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- D @dtoma.bsky.social @dtoma.bsky.social
Silvestro Ranucci @sranu.bsky.social I live at the intersection.
Writer of performant and type-safe bugs in Rust.
Certified Nix complainer.
Penguin lifeguard.
Opinions are my own.
@karelgardas.bsky.social @karelgardas.bsky.social 
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- S Stefan Schmid @stese.bsky.social
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
@tmerz.bsky.social @tmerz.bsky.social 
Zippy @zpinhead.bsky.social Cats science fiction etc.
jagg @jagargim.bsky.social 
@or-gho.bsky.social @or-gho.bsky.social 
"Carlito" [λ] @carlo.daugavalabs.com 2025@{🇬🇧🇱🇻🇩🇪🇲🇽}
In a personal revolution against boredom.
marc o))) @defmarco.bsky.social Come visit me at https://defmarco.com 👾
@flyxion.bsky.social @flyxion.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・🐧- M Maris Orbidans @marutks.bsky.social I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
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
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory