Awesome Haskell accounts on Mastodon that posted recently.
Haskell
Boyd Stephen Smith Jr.
@[email protected]Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)
Please use Wire (or Signal) for private messaging.
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
Raymond
@[email protected]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
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Sjoerd Visscher
@[email protected]he/him #haskell #categorytheory #lumatone
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
Dino
@[email protected]Haskell programmer, Linux user.
I block assholes quickly and frequently.
Doug Burke
@[email protected]Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.
Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23
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.
Marco
@[email protected]Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna
Cass Alexandru @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
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)
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.
someodd
@[email protected]Haskell. Gopher.
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.
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
Arianna Masciolini
@[email protected]facts that feel somewhat relevant right now, in no particular order:
- computer scientists see me as a linguist and vice versa
- ho voluto la bicicletta e ora pedalo
- försöker bli svensk men det är inte så bra tajmat
AKS 🌷Tulip 🏛️MIT