Awesome Haskell accounts on Mastodon.
Haskell
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Emily Flion
@[email protected]Epitech graduate. liskvork and QuasarMC maintainer.
Working for the French government. Opinions expressed are solely my own and do not express the views or opinions of my employer.
I like to program in C/Haskell/Python/Zig.
I hate C++.
Posts get deleted after 2 weeks for privacy related reasons :3
AKS 🌷Tulip 🏛️MIT
Jesse Hallett
@[email protected]Software engineer in the Bay Area. Dad. Nerd. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
Pronouns he/they
Hi there.
I'm a software engineer and father of 2 kids.
I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.
I hail from Denmark, the Copenhagen area.
I have been working professionally with Haskell, Rust, Python, and C#.
Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).
My blog: https://blog.philsas.one/plc/
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
Roos
@[email protected]CTO at satoshi-connect.ch.
@bebop ambassador.
I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.
In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.
Salvadorian. I also *really* like trains :)
Gyuri
@[email protected]Haskell, Elm, Rust
ELLIOTTCABLE
@[email protected]Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝
I write a lot of #OCaml 
for the #JavaScript ecosystem! 
DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming #DevOps
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
Vitaly Bragilevsky
@[email protected]Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).
Thomas Peklak
@[email protected]software developer from #austria
divVerent
@[email protected]Software engineer. Mathematics major. All programming languages are bad.
In free time, game developer; main titles: #AAAAXY, #Xonotic, #Nexuiz.
Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).
Primary: @divVerent
Efertone 
@[email protected]
I'm trans pan married woman and usually I'm #engineering the #cloud. And #gaming (mostly #ffxiv and #genshinimpact) ;)
But really, most of the time I live inside my #vim (technically #neovim these days) and coding.
If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)
(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)
Vitor Capela
@[email protected]Ruby and JS in the streets, Haskell and friends between the sheets.
Abizer Nasir
@[email protected]iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.
Also @abizern.dev on Bluesky
Snapkitty Sledgehammer
@[email protected]Independent researcher in formal methods, sovereign AI systems, and reproducible computing. Building verified agentic infrastructure with Lean 4, Haskell, Rust, Prolog, and C. Publishing open research, formal proofs, and defensive prior art. Evidence over hype.
