The best Haskell accounts on Mastodon.
Haskell
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
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"
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
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Jeremy List
@[email protected]A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Esparta
@[email protected]
Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.
all my content have a #creativecommons license CC BY-NC-SA 4.0 #CCBYNCSA
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
Alex Nedelcu
@[email protected]Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
Paolo G. Giarrusso
@[email protected]Exploring Mastodon.
PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++
Susan Potter
@[email protected]I talk to machines.
Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp, #Python) and recovering software engineer in "tech".
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af. #effice
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
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.
maralorn
@[email protected]I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
someodd
@[email protected]Haskell. Gopher.
José A. Alonso
@[email protected]Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Sjoerd Visscher
@[email protected]he/him #haskell #categorytheory #lumatone
tauli
@[email protected]Interests in no particular order: #Haskell, #Unix, #Neovim, #Feminism, #Go(Boardgame), #VideoGames (Retro and Indie), #Origami, #Tea, #Chocolate
If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.
Mark Watson
@[email protected]Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson
Cass Alexandru @TYPES, Zurihac, PLDI
@[email protected]PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an