Awesome Haskell accounts on Mastodon.
Haskell
alecs
@[email protected]PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
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.
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
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Yuras
@[email protected]writing in haskell for food
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
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
Vitaly Bragilevsky
@[email protected]Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).
Frédéric Menou
@[email protected]I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.
My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.
Currently freelance at the French NAP: https://transport.data.gouv.fr
kwarrtz
@[email protected]physics grad student // he/they // condensed matter, algebraic geometry, category theory, Rust and Haskell
Dima
@[email protected]Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.
Madman’s Nest
@[email protected]Languages, Visuals, and Dangerous Things
(Currently learning Occitan, te reo Māori, Haskell, and Rust)
aiya000🐕️あいや
@[email protected]Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!
Jonathan Carroll
@[email protected]#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
Also learning Japanese 🇯🇵
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia
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
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
Thomas Peklak
@[email protected]software developer from #austria
Gyuri
@[email protected]Haskell, Elm, Rust