0tanh @0tanh.bsky.social dangerous on the buttons
🏳️⚧️ ❄️🦀🐍
Brobubu @storgemo.de "brobu" for short. I program computers irl but tend to escape that here. I like videogames and online hangouts
I follow an ever more absurd number of artists on here.
they/them/any
🔞
Giorgio Marinelli @marinelli.dev Thinking Functionally, from Italy
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Erikaaaaaa @erika-haze.bsky.social ::human presenting cyborg but I’m actually three possums in a trench coat
Cow @cow.computer cow, any pronouns, NixOS user, fooling around with servers. I mostly set up this pds to try Tangled.
Astrolog @mithugdh.bsky.social Give me a picture of your right palm and I will tell you the past and the future.
I deliver worldwide. You can whatsapp me 01779620331 or Viber & telegram. If you want to buy anything please tell me, the delivery will be via dhl or fedex. Regards.
may @fmap.io artisanal developer | aspiring member of the urban elite | 🏳️⚧️🇮🇷
Sigma @superhacker.bsky.social Security Engineers -> Software Developer
Recently, Competitive programming in #Haskell
I’m studying English.
[My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom)
[GitHub](https://github.com/RyosukeDTomita)
Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
M. Hamido @mhamido.bsky.social 
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
Anupam λ≡ @haskman.bsky.social “It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
🩵 Deputy Rabbit Appreciator 🩵 @storakatten.bsky.social Polyglot functional programmer in more ways than one. Montréal resident and novice French understander.
I do platform engineering stuff these days. Future Principle software architect
Bunny parent.
Any Pronouns.
https://ecluse-proxy.com
href @href.random.sh computers (erlang/elixir, rust, freebsd, …); cats (void, black); perpetual burnout. very political.
FR/EN📍australia
@joelmccracken.bsky.social @joelmccracken.bsky.social 
@kephasp.bsky.social @kephasp.bsky.social 
Michael Chavinda @mschav.bsky.social Curious about many things
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Mattia Valzelli @mattia.cloud 
PPK, the Kwisatz Haskellach, Monad'Dib @ppkfs.bsky.social they/them. Haskell, cocktails, cats, shitposting.
Spencer Salyer @b3rts.dev Senior engineer, dad, husband, and helper.
Disciplined, principled, and multi-passionate.
Interested in Linux/Unix, Open Source, Systems & Embedded.
https://b3rts.dev
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
Théophile فهيل (ꈍ ᴗ ꈍ✿) @theophile.choutri.eu Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
93 est mon indice d'octane
@midirus.bsky.social @midirus.bsky.social 
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
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
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.
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
@objetsinfernaux.bsky.social @objetsinfernaux.bsky.social 
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
@philderbeast.bsky.social @philderbeast.bsky.social 
Frankie 🇧🇪🇮🇹 @ingframin.bsky.social 
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
📎🐸🕊️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
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
@michalis-m.bsky.social @michalis-m.bsky.social - M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Charte @chartee.bsky.social Zebra, Lisp programmer. Haskell and
Math lover. Bioinformatics and Computational Biology 🧬
github.com/carht
@bmabsout.bsky.social @bmabsout.bsky.social 
Andrii 🇺🇦 @andmal8.bsky.social 🇺🇦 Ukraine will stand!
amateur dev from Ukraine
https://github.com/ahndmal
connrs @conn.rs Compiles peat
He/Him
https://conn.rs
https://indieweb.social/@connrs
@cotrone.bsky.social @cotrone.bsky.social 
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
Matthew Mullen @mtjmullen.bsky.social Software Engineer.
Words are my own, not my employers.
{ ShadowMancer } ...the game @pro-cess.bsky.social "...if your world is shocking, you become a person...if your person is subtle...you become a world..."
#burythepowerlines #ifttt
wildbrine.com
findhelp.org
https://play.google.com/store/apps/details?id=com.softpulse.find.parked.car.location
The Solar Princess @tsolarprincess.bsky.social Game designer, LGBT activist, mathematician, Social Justice Rogue, Discordian witch, hobbyist doctor (yes)
All my content is here - thesolarprincess.github.io/en
Asdrúbal I Suárez @asdrubalivan.bsky.social Capybaras and languages lover
🇻🇪❤️🇫🇷🇺🇦
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
justinhj @justinhj.bsky.social Posting about video games and programming
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
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Ellie Bee @ruddernonsense.com Taken by Clay🦊❤️ 🦦
🏳️⚧️(she/her),
🔞
otherJL0 @otherjl0.bsky.social 
David W. Hardy, Esq. @hardymediation.bsky.social Atty, mediator, teacher. Lawrence, KS Advocate, MBA, former uni admin. Spouse:🧑🤝🧑@bsbadger INTJ/ENTJ 🚫DMs 🚫 Porn 🚫 Crypto 🚫 OnlyFans 🚫GoFundMe YES to int. news, sci, law, art, philos, Left pol, philanth, nature
Marcin @marcinbenke.eurosky.social 
rmunoz @rmunoz.xyz I like cooking, software development and maths. I'm a curious mind and I'm always motivated to learn new things and understand how stuff works.
@alanz.bsky.social @alanz.bsky.social 
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
v. @vdorr.bsky.social ahoj, já jsem vláďa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
some kind of idiot
ostrava, earth
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
Leonhard R @l7r7.bsky.social I run on music | writing functions for a living | Scala by day, Haskell at night
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 🔥
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Hatter @that-hatter.bsky.social in search of a porpoise
Github: https://github.com/that-hatter/
Discord: @that.hatter
Antonio (Tony) Farinetti @afarinetti.bsky.social Husband. Father of two. Bengal cat dad. Likes/comments are my own.
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.
Felix Dolderer @felixdolderer.com Create the future you want to live in.
Gareth Rowlands @whitespacenottabs.bsky.social Geek
Reeshabh Agrawal @reesh-a.bsky.social 
@dxrpyxd.bsky.social @dxrpyxd.bsky.social 
Espen Trydal @espenkt.bsky.social PhD-student neuroimaging, Stavanger Medical Imaging Laboratory (SMIL)/Stavanger University Hospital
Sébastien NEDJAR @sebastien.nedjar.fr Enseignant chercheur à Aix-Marseille Université. Geek passionné, créatif et curieux. Fondateur du @Labaixbidouille
Ida Bzo (Bzowska) @idabzo.bsky.social Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.- F @fp4ai.bsky.social @fp4ai.bsky.social
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Joel Wikström @kammadej.bsky.social Programming languages, BI, SQL, data warehouse, Haskell, Qlik
@o1lo01ol1o.bsky.social @o1lo01ol1o.bsky.social 
溺死乐 (nì · sǐ · lè) @9k.vc all the things i think you should know
(work acct, chicago)
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
naufalauddin @naufalauddin.bsky.social A bimbo learning programming, Haskell, Purescript and Lean4
layarlaut @layarlaut.at.app.wafrn.net I use this account to talk about my special interest and seasonal obsession, basically Geek Posting, follow me if you like to see me talking about Yamada Naoko, Anime and Manga[...]
View full profile at https://app.wafrn.net/blog/layarlaut
four seasons joe (not the hotel) @alacqua.bsky.social Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031