logo FEDIDEVS

FEDIDEVS

124 awesome Haskell developers on Mastodon.

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

Last posted ▼ Less than a day ago
Posts 17,112
Followers 270
Following 326

Displaced Philly boy. Threat hunter. Streamer. Educator. , rust, python haskell, and javascript. advocate. Runs @thetaggartinstitute. Made wtfbins.wtf. Co-creator of github.com/mttaggart/Offensive. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted ▼ Less than a day ago
Posts 6,824
Followers 6,833
Following 850
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,218
Followers 463
Following 246
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 244
Followers 188
Following 175
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 ▼ 1 day ago
Posts 897
Followers 312
Following 164
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 ▼ 1 day ago
Posts 587
Followers 170
Following 152
Header Image
Momo 🏳️‍🌈🏳️‍⚧️nonbinary_flag
@[email protected]

She/they (non-binary blobcattrans Blobhaj_Flag_Progress_Intersex_Right Blobhaj_Flag_Nonbinary) | Furry | 25

I love programming and on .

A fan of Stardew Valley and CBN. Sometimes I make mods for them.

Last posted ▼ 1 day ago
Posts 361
Followers 25
Following 128
Header Image

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

[Ger,Eng,Tok]

Last posted ▼ 1 day ago
Posts 2,537
Followers 222
Following 390
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted ▼ 1 day ago
Posts 131
Followers 19
Following 97
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 ▼ 1 day ago
Posts 6,245
Followers 1,359
Following 1,041

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted ▼ 1 day ago
Posts 84
Followers 87
Following 188
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 day ago
Posts 1,174
Followers 269
Following 174
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,578
Followers 164
Following 216
Last posted ▼ 1 day ago
Posts 2,780
Followers 1,504
Following 2,384
Header Image

Indoor European. I know . I write (in or or or or ). 100% OPSEC.

Last posted ▼ 1 day ago
Posts 7,557
Followers 202
Following 59
Header Image
Jaro Reinders
@[email protected]

PhD student at Delft University of Technology in the @DelftPL group. Trying to build correct compilers from modular building blocks in .

I'm also a enthusiast, contributor, and member of the Core Libraries Committee (github.com/haskell/core-librar).

Last posted ▼ 1 day ago
Posts 153
Followers 46
Following 73
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted ▼ 1 day ago
Posts 2,058
Followers 1,161
Following 521
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted ▼ 1 day ago
Posts 260
Followers 606
Following 1,249
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,073
Followers 414
Following 311
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,411
Followers 180
Following 193