mjbauer95.bsky.social @mjbauer95.bsky.social https://matthewbauer.us
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
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
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/
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
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__
@terrorjack.bsky.social @terrorjack.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
Rohit Goswami @rgoswami.me Computational chemist with a Bayesian taint. Working on foundational cross-language tools at @labcosmo.bsky.social.
More @ https://rgoswami.me
akrmn @handle.invalid [they/them] | audhd | double diaspora
@hannelita.bsky.social @hannelita.bsky.social 
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
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
bert @somethingdoneright.net it is now safe to turn off your computer
Claudiu Ivan @claudiu-ivan.com The ghost was always in the machine. Now it needs tools.
https://www.claudiu-ivan.com/
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
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 
Stefano Baghino @stefano.baghino.me Software Engineer
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
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.
PLT_cheater @cheater00.bsky.social 
@zbskii.bsky.social @zbskii.bsky.social 
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
Eliza Zhang 🔆 @elldritch.bsky.social your builds should be faster and your government should work
Ellie Bee @ruddernonsense.com Taken by Clay🦊❤️ 🦦
🏳️⚧️(she/her),
🔞
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 🔥
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
Patrick Petrovic @patrick.engineering Senior Software Engineer @ hello-charles.com
justinhj @justinhj.bsky.social Posting about video games and programming
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
🇨🇦 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.
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.
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 )
cronopio @cronopiob.bsky.social Books, maths, thinking.- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Nnotm @nnotm.bsky.social λ
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
Thomas W. @didymusw.bsky.social Pilot, preferring cumuli rather than a blue sky.
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
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
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.
Matt @matdemy.bsky.social 
Alex @atopuzov.bsky.social Always enjoys swimming.
Sometimes enjoys software engineering.
beat @beathagenlocher.com Mostly random stuff I find interesting, or other sharable thoughts that cross my mind.
https://beathagenlocher.com
Oliver Batchelor @oliverbatch.bsky.social Computer Vision/Agritech researcher designing a vineyard/orchard many-camera scanner (Gaussian Splatting-based).
Radiance fields, 3D recognition, FP fan (Haskell).
Running, rock climbing, dog friends.
ucvision.org - University of Canterbury, New Zealand
Sébastien NEDJAR @sebastien.nedjar.fr Enseignant chercheur à Aix-Marseille Université. Geek passionné, créatif et curieux. Fondateur du @Labaixbidouille
Espen Trydal @espenkt.bsky.social PhD-student neuroimaging, Stavanger Medical Imaging Laboratory (SMIL)/Stavanger University Hospital
Reeshabh Agrawal @reesh-a.bsky.social 
@eemdk.bsky.social @eemdk.bsky.social 
Felix Dolderer @felixdolderer.com Create the future you want to live in.
Sebastian Galkin @functionth.bsky.social 
Gareth Rowlands @whitespacenottabs.bsky.social Geek
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
gelisam @gelisam.bsky.social professional Haskeller
andrii @unorsk.com L∃ⱯN ∩ VEGEMITE
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@jtanguy.me @jtanguy.me 
Titouan Vervack @t21.volt.gent 
Bart Mesuere @bartm.be UGenter. Professor. Informaticus. Wetenschapper. West-Vlaamse Gentenaar. Grafiekman. Unipept. DodonaEdu. Mostly Harmless.
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.
Kaushik Chakraborty @kaushikc.org A foolish & hungry dev
🙅@kaychaks
🐘@kaychaks@types.pl
Patrick @patrick.social old internet guy from a cold place
founder clovyr.app
was https://twitter.com/pmylund
https://patrick.computer
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!
Leonardo Galvão @leonardo-galvao.bsky.social Reading the world.
Martin Brookes @martinbrookes.bsky.social Personal account. So chess improvement (attempted) mostly and occasional random stuff.
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
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
Verberon @verberon.bsky.social On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
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 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
@puffnfresh.bsky.social @puffnfresh.bsky.social 
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
Tobi @tpflug.bsky.social 
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Matias Klemola @matiasklemola.com Software developer @ the Finnish Broadcasting Company (Yleisradio). I mostly write about video games, music and tech. Father of two.
🕹️🚙 Liikennematto - build the roads and the town comes to life! https://yourmagicisworking.itch.io/liikennematto
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
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
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
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
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/
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
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.
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
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
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
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr