bun.bun.🐽 @ds-bun.bsky.social love #pugs, lead data scientist @datafying
my tweet = data science, machine learning, ai, deep learning and pug as well
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
faultables @social.faultables.net SRE, DevOps and everything in between • indie macOS/iOS developer • FLOSS btw • doing things with @flooo.club
👾 faultables.net
🏕️ rizaldy.club
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
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
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
@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)
- 🏞️ 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 - 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
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
Tim Lavoie @fractaldragon.net Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
૮༼⚆︿⚆༽つ @drsensor.bsky.social https://fosstodon.org/@drsensor
https://github.com/DrSensor
https://twitter.com/dr_sensor
available for hire
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.
Gabriel Díaz @qswarm.com 
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.
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.
lin ᯓᡣ𐭩 @caethel.bsky.social ₊♡°‧ whimsy for the digital age
°° cs student + electronic music enthusiast
°`•hci and culture nerd
📍de
Lethal Lizard @isutton.bsky.social I write code.
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Agam B @agam-b.bsky.social 
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 
raf! @raaawfid.bsky.social Powered by Chicken Katsu.
Trying to learn IoT and C 🙇♂️
🇮🇩
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.
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
Jason Hammock @jhammock.bsky.social 
sinardyas @sinardyas.bsky.social eat.sleep.bugfix.deploy | x.com/sinardyas
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
mangkoran @mangkoran.bsky.social >serverless
>look inside
>server
@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
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Light @maheshbansod.com i love computers, science, math and understanding the world around us.
https://maheshbansod.com
Sarah Lawsky @sarahlawsky.bsky.social Law professor at UIUC, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
@iodelay.bsky.social @iodelay.bsky.social 
Jojo @practicat.bsky.social A nerd and former tumblr user (She/her)
Miguel @miguel-nascimento.bsky.social 👨💻 functional programming is cool ✨ nix is my waifu and my laifu @nixwm_ (not here yet) 💖
@stivenrarani.bsky.social @stivenrarani.bsky.social 
@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),
🔞
Sharun @sharunkumar.com 👨💻Software Engineer | 🎮Gamer | 💻Tech & 🚗Car Enthusiast | 🐱Cat Person
sharunkumar.com
Kirei Kotomine @novnod.dev nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹
neovim btw
Ner0K1 @ner0k1.bsky.social Lovin’ OCaml and Nim, somehow good at Java and python. 👀
«…Ты съешь себя быстрее, чем они…»
— hehehe “очень-очень”
Mongeeese @mongeeese.bsky.social Comedy - News - Memes
Fasten Your Seatbelts
Hottest place on earth
Follow us on ig 👇👇👇👇👇👇
https://www.instagram.com/mongeeese/
Jangholi @jangholi.bsky.social 💻 Software engineer
🌏 Travelholic
👗 Fashion lover
Eduardo Hernacki @runlevel0.me Freelance Principal/Senior Software Engineer
Uplifts Software Teams, knows a thing or two about AWS, prefers functional programming
Organizer of @elixir-munich.org
https://runlevel0.me
#AWS #ElixirLang #Rust #TypeScript
@awadelewis.bsky.social @awadelewis.bsky.social 
@mikejeuga.bsky.social @mikejeuga.bsky.social 
ian molee @ianfoo.dev programmer 👨💻 live music enthusiast ⭕️ dog simp 🐕