Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
They Blame Teh Troi @blametroi.bsky.social Dealing with some personal health crap that may not matter depending on Trump. In hope of reducing stress I'm unfollowing of the pure political accounts I follow. Nothing personal and if we're mutuals I won't mind if you unfollow.
Taras Glek @taras.glek.net LLMs, system programming
https://taras.glek.net 
極楽/GOKURAKU @gokurakukaiser.bsky.social 「受験から就活へ」をモチーフにした音楽を制作中。就活生へ贈る新曲『俺らの半導体』MV公開中。音楽レーベル「HAIBOKU RECORDS」主催。
An indie artist fusing business and tech motifs into music. Singing for students facing life's milestones—from exams to job hunting. New MV "Young Boys Semiconductor" is OUT NOW.
fajpunk @fajpunk.com 
@mister-chiply.bsky.social @mister-chiply.bsky.social 
@mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social 
Owen @bean.computer bad at science
https://bean.computer
InnocentZero @innocentzer0.eurosky.social Just bored. Occasionally writes shitty rust, nushell over python any day, likes SW and HW security.
Will totally ramble about things. Opinions are my own.
innocentzero.is-a.dev
innocentzero.atabook.org
https://kbin.earth/u/innocentzero on fediverse
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
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.
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
@poopcompiler.bsky.social @poopcompiler.bsky.social - N @nickbarnes.bsky.social @nickbarnes.bsky.social
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/- P @plumenator.bsky.social @plumenator.bsky.social
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
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
CPG @hexsafy.bsky.social Embedded & ML
Á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
Amber 🌸 @shimmermathlabs.com Indie software developer • math witch • ML builder • 48 • 🏳️⚧️ she/her
Here to make friends and have fun (not argue).
Currently working on friendship software for caring about others.
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
Hunter @hdemeyer.bsky.social Informatics PhD student @ UIUC
Software Studies & Technical Writing
Doing qualitative research on Research Software Engineering
Interested in tool development, type systems, rhetoric, version control, computer history, philosophy of science
max @seoul.systems making the internet a better, more human place
liking computers just a bit too much / seoul.systems
Vishal Lama @vishallama.bsky.social Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
@mathiasbourgoin.bsky.social @mathiasbourgoin.bsky.social 
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Varun R Mallya @varunrmallya.bsky.social I write a lot of C and eBPF. I also co-created PythonBPF. Find my blogs at https://xeon.me
@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
@shtohryn.bsky.social @shtohryn.bsky.social 
Avishek ghosh @avishekcolours.bsky.social 
Simon Rowe (wiremoons) @wiremoons.com | photography | open source | programming | cycling | technology |
@icmurray.bsky.social @icmurray.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 
leo @leoms.dev mcc @ fcup, portugal
github.com/zazedd
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
jolman @jolman.me dev & foss enjoyer
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
thegeekinside @thegeekinside.bsky.social 👨💻💻🕵️♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨🎨🎨🎶🎧♟🌮☕🍷🧘♂️🇲🇽 he/him
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Dr Huw Campbell @huwcampbell.com Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Sudha @sudha24.bsky.social 
@mikejeuga.bsky.social @mikejeuga.bsky.social 
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
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
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.
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
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.
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Patrick M. @mycroft.mkz.me Software Engineer, Paris, France.
Maintainer of nsc, the only fully featured netsoul client.
Former Kobayashi Maru captain.
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.
@or-gho.bsky.social @or-gho.bsky.social 
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
stebalien @stebalien.com Decentralized systems engineer, Emacs hacker.
@flyxion.bsky.social @flyxion.bsky.social 
Will @nullit.bsky.social Music and rambling
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
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
@7fff.bsky.social @7fff.bsky.social 
É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
@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!
Gabriel @gm0stache.eu offline techy.
internet hippie.
techno optimist.
eu/acc advocate.
[✍️...💌](https://blog.gm0stache.eu)
[🧑💻...💥](https://tangled.org/gm0stache.eu)
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
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
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
@leoliu2007.bsky.social @leoliu2007.bsky.social 
pho @phophophopho.bsky.social 
@craigfe.bsky.social @craigfe.bsky.social 
@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 🐫
@loughlinfox.bsky.social @loughlinfox.bsky.social 
Bill Mulligan 🐝🐝🐝 @breakawaybilly.bsky.social Cloud Native networking, observability, and security with Cilium, eBPF, and Isovalent
Newsletter cilium.io/newsletter
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Ibrahim Bagalwa @ibrahimbagalwa.bsky.social Software engineer 
@ryan.freumh.org @ryan.freumh.org Computer Scientist
edwintorok.eurosky.social @edwintorok.eurosky.social 
@boardm.bsky.social @boardm.bsky.social