123 awesome Haskell accounts on Mastodon.
Haskell
Brent Yorgey
@[email protected]Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
☭. evie
@[email protected]they/she 🏳️⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open
Josep Bigorra (jjba23)
@[email protected]Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe
Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems
Playing guitar
maon
@[email protected]Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.
meejah
@[email protected]Professional freelance programmer (#python, #haskell, #rust, #c++, #linux)
https://meejah.ca
https://txtorcon.readthedocs.org
https://carml.readthedocs.org
#twisted #python #tor #infosec #privacy
I re-toot all reasonable replies
"rumoured to be Canadian"
Maria
@[email protected]Furry/otherkin/otherwise. I love journaling and meditation.
Applied statistician, data scientist, computer hobbyist.
Game theory, category theory, agentic systems.
Python, Haskell, Scheme.
I saw the beads and colored eyes, trampled into the asphalt.
I will never believe in the change in the weather.
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Anthony Cowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Salsa Gal
@[email protected]Emily, putting the gay into #gamedev

#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch
user btw
Feel free to DM me and say hi :)
Raymond
@[email protected]Jaro Reinders
@[email protected]PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.
I'm also a #Haskell enthusiast, #GHC contributor, and member of the Core Libraries Committee (https://github.com/haskell/core-libraries-committee/).
Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
Patrik Jansson
@[email protected]Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
Marko Dimjašević
@[email protected]Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
There is No Magic
@[email protected]I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
Daniel Mlot
@[email protected]Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him
arialdo
@[email protected]Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
mehbark
@[email protected]i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ #racket, #rust, #sbcl, #lean4, #elixir, #haskell-pilled—i just like programming languages okay
feel free to follow request!
Xavier Van de Woestyne
@[email protected]I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.
alecs
@[email protected]PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
Nora Dimitrijević
@[email protected]Software dev, working in programming languages and static analysis, armchair linguist and conlanger, #ChapmanStick amateur and karaoke fiend.
Based in Amsterdam 🇳🇱.
Interests: #Tech #FOSS #ProgrammingLanguages #LLVM #MLIR #Compilers #CategoryTheory #Databases #Datalog #Haskell #Lisp #Conlanging #Esperanto #Philosophy #Psychoanalysis #Lacan #Hegel #Demoscene #C64 #Amiga #MusicTheory #Renoise #Furry #EcstaticDancing #ScummVM #Weird