logo FEDIDEVS

FEDIDEVS

33 of the best Haskell developers on Mastodon.

Best Human haskell Haskell
Header Image
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).

Last posted 2 days ago
Posts 6,301
Followers ▼ 2
Following 1,041
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last posted 1 day ago
Posts 2,114
Followers ▼ 2
Following 672
Last posted 1 day ago
Posts 2,799
Followers ▼ 1
Following 2,394
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted 1 month ago
Posts 179
Followers ▼ 0
Following 198
Header Image

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

Last posted 2 days ago
Posts 2,548
Followers ▼ 0
Following 394
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

Last posted 1 day ago
Posts 9,116
Followers ▼ 0
Following 312
Header Image

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d.

Last posted 5 months ago
Posts 3,777
Followers ▼ 0
Following 430
Header Image

theoretical physicist @uniheidelberg + semiprofessional computer booper (I use NixOS btw)

, ,

I like cats 🐈

compsci things: linux rust (global state apologists dni) nixos flag_jbo
other things:

Last posted 3 months ago
Posts 245
Followers ▼ 0
Following 143
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 1 month ago
Posts 184
Followers ▼ 0
Following 178
Last posted 4 days ago
Posts 2,983
Followers ▼ 0
Following 363
Nicholas Boyd Isacsson
@[email protected]

Half-Brit Swede living in Lund but working in Copenhagen.

Last posted 2 weeks ago
Posts 832
Followers ▼ 0
Following 521
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,595
Followers ▼ 0
Following 218
Header Image
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.

Last posted 1 week ago
Posts 1,177
Followers ▼ 0
Following 174
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted 1 day ago
Posts 5,291
Followers ▼ 0
Following 250
Header Image

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

Last posted 1 day ago
Posts 1,413
Followers ▼ 0
Following 193
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes Generic Programming Language Acquisition New Masculinities  Friend  Yin  🇪🇺an

Last posted 2 days ago
Posts 595
Followers ▼ 0
Following 152
Header Image

Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .
🏴󠁧󠁢󠁳󠁣󠁴󠁿 🇳🇿 🏴󠁧󠁢󠁷󠁬󠁳󠁿

Last posted 1 day ago
Posts 292
Followers ▼ 0
Following 175
Header Image
Stephan Schiffels
@[email protected]

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

Last posted 3 weeks ago
Posts 395
Followers ▼ 0
Following 507
Header Image
Patrik Jansson
@[email protected]

Computer scientist, 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, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted 2 days ago
Posts 900
Followers ▼ 0
Following 164
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

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.

Last posted 3 days ago
Posts 7,687
Followers ▼ 0
Following 161