Sam Stokes @five-eights.com Immigrant, mixologist, engineer. Interested in feedback loops, abstractions, nuance. ex LaunchDarkly, Honeycomb, LinkedIn
Brendan St John @bstjohn.bsky.social https://www.bstjohn.net
I am nameless yet others name me @7778777.online benign patron of shepherds
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
mjbauer95.bsky.social @mjbauer95.bsky.social https://matthewbauer.us
@pranaysashank.bsky.social @pranaysashank.bsky.social 
Joe Basile @adventurouspolicy.bsky.social Engineer turned programmer. I try to make useful applications, such as Iceberg Accounting Suite, a Python project that gives users a set of books and basic invoicing. Check out my projects, you may find something helpful
Javier Garea @javiergarea.bsky.social software engineer @ nomasystems
functional programming ∧ open source
github.com/javiergarea
jono @jcarroll.com.au #rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
Also learning Japanese 🇯🇵 and toki pona
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia
Marek Fajkus @turbomack.bsky.social Software engineer. Functional and low level programming. I wrote a lot of UI code because nobody else wanted. Computer mason and proof people can get payed for hobbies.
Gone from twitter https://x.com/turbo_MaCk
https://turbomack.github.io/
@terrorjack.bsky.social @terrorjack.bsky.social 
Johannes @kenran.bsky.social I like Neovim+Emacs both, (functional) programming, Nix, roguelikes/-lites, running, logic puzzles, miniature painting ... (he/him)
Fediverse: https://mas.to/@kenran_
I very rarely stream programming stuff on https://twitch.tv/kenran__
donaldyeager 🏳️🌈💙 @dyeager64.bsky.social Blue all the way,
DON'T BLAME ME I VOTED FOR HER!
hate tRump with all my being 🇺🇦 Please no DM's unless I know you
Seriously if you DM me and i don't personally know you I will unfollow and block you
#BlueResisters
#NoDemUnder1K
@bijkerhans.bsky.social @bijkerhans.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
@andrherr.bsky.social @andrherr.bsky.social 
Rohit Goswami @rgoswami.me Computational chemist with a Bayesian taint. Working on foundational cross-language tools at @labcosmo.bsky.social.
More @ https://rgoswami.me
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
David Aerne @meodai.bsky.social Self-employed Design & Interaction Developer at Elastiq Ltd.
Independent researcher exploring color perception, palette tools, and interface design through prototyping.
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@doyougnu.bsky.social @doyougnu.bsky.social 
Stijn 'Vioo' Diependaele @sdiepend.bsky.social Freelance DevOps Engineer
creating: https://tikiti.be and https://rnkd.gg
Broad interest in the things of life.
https://sdiepend.substack.com
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
akrmn @handle.invalid [they/them] | audhd | double diaspora
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
Plum @plum-dev-log.bsky.social Aspire to be the Dad in My Neighbor Totoro.
Interests include software, saas, finance, reading, studying, zettlekasten, anki, notebooks.
今日は Have a nice day ☀️
https://github.com/ralphplumley
bert @somethingdoneright.net it is now safe to turn off your computer
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Claudiu Ivan @claudiu-ivan.com The ghost was always in the machine. Now it needs tools.
https://www.claudiu-ivan.com/
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.
@nudded.bsky.social @nudded.bsky.social 
Andrew Boardman @myshoggoth.bsky.social I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon.
Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
Micha @micharied.bsky.social - working at active-group.de
- studying computer science at the University of Tübingen
- passionate beach volleyball player 🏐- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
Stefano Baghino @stefano.baghino.me Software Engineer
@objetsinfernaux.bsky.social @objetsinfernaux.bsky.social 
PLT_cheater @cheater00.bsky.social 
@pzhant.bsky.social @pzhant.bsky.social 
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Dodona.be @dodona.be Learn to code for secondary and higher education 💻
@zbskii.bsky.social @zbskii.bsky.social 
v. @vdorr.bsky.social ahoj, já jsem vláďa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
he/him/koťátečko
some kind of idiot
ostrava, earth
Mari Donkers @photonsphere.org Synaptic Technopath ¯\_(ツ)_/¯ Can you feel the vibe?
The Synaptic Technopath is the nomad of the information age, whose territory is not a place, but a sequence of connections.
https://photonsphere.org
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
Thomas Schilling @nominolo.bsky.social 
@mgsloan.bsky.social @mgsloan.bsky.social 
@joe-a-d.bsky.social @joe-a-d.bsky.social 
Thomas W. @didymusw.bsky.social Pilot, preferring cumuli rather than a blue sky.
Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Nnotm @nnotm.bsky.social λ- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
@jameshaydon.bsky.social @jameshaydon.bsky.social 
cronopio @cronopiob.bsky.social Books, maths, thinking.
Koray Al @koray.al Parent of two daughters
#electronics engineer working as a software engineer writing #haskell code
Interested in #nix , #functionalprogramming
Principal Software Engineer @ Soostone ( & contractor @ Well.co )
@bmabsout.bsky.social @bmabsout.bsky.social 
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Niko Strijbol @niknetniko.bsky.social 
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.
@cotrone.bsky.social @cotrone.bsky.social 
@mjo3141.bsky.social @mjo3141.bsky.social 
Venkat Mandela @vmandela.bsky.social 
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
The Solar Princess @thesolarprincess.org Game designer, LGBT activist, mathematician, Social Justice Rogue, Discordian witch, hobbyist doctor (yes)
All my content is here - https://thesolarprincess.org
Asdrúbal I Suárez @asdrubalivan.bsky.social Capybaras and languages lover
🇻🇪❤️🇫🇷🇺🇦
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
Koji Miyazato @viercc.bsky.social Twitter(X), GitHubなどにいるのと同一人物です
openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
興味: Haskell, 数学
justinhj @justinhj.bsky.social Posting about video games and programming
Patrick Petrovic @patrick.engineering Senior Software Engineer @ hello-charles.com
Manuel Gómez @mgomez.ch Estepicursor lupolipafóbico. Te audire non possum—musa sapientum fixa est in aure. fix (10×). No longer avoiding success at all costs. DFS brain. 👨🏽💻🇻🇪@🇩🇪
alt:
profile picture: mid-30s guy, short black hair, hiking with an envomask
banner: cat in the sun
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Ellie Bee @ruddernonsense.com Taken by Clay🦊❤️ 🦦
🏳️⚧️(she/her),
🔞
Hendrick Wic @hendrickwic.bsky.social okay.
Marcin @marcinbenke.eurosky.social 
Eliza Zhang 🔆 @elldritch.bsky.social your builds should be faster and your government should work- S shinzui @shinzui.bsky.social Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
simeondermaats 🦀 @simeondermaats.bsky.social Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.
Axman6 @axman6.au Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
FilliDeFilla @fillidefilla.com Quiet founder figuring out life • Active in design, tech, filmmaking & education • Exploring the world of founders & writing the playbook I wish I had
@anttih.com @anttih.com 
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
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
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)- M @mcwitt.bsky.social @mcwitt.bsky.social
Hatter @that-hatter.bsky.social in search of a porpoise
Github: https://github.com/that-hatter/
Discord: @that.hatter