logo FEDIDEVS

FEDIDEVS

59 awesome Haskell developers on Mastodon that posted recently.

Human Recently posted haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,640
Followers 261
Following 889
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,123
Followers 270
Following 326

Software Developer, currently creating websites to sell and sharing my experience doing it

I'm interested in moving the web forward, so I read and share a lot about , , , , , and

love languages like , , , , etc

learning , , , , , , ,

I'm a , believer, , advocate

I want that you have a website. Se habla español.

Last posted ▼ Less than a day ago
Posts 5,648
Followers 269
Following 151
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 ▼ Less than a day ago
Posts 259
Followers 189
Following 175
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 ▼ Less than a day ago
Posts 5,230
Followers 464
Following 246
Efexor Zolpidem v_com
@[email protected]

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

Last posted ▼ Less than a day ago
Posts 270
Followers 610
Following 1,251
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 590
Followers 170
Following 152

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 80
Followers 87
Following 188
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,247
Followers 1,360
Following 1,041
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,075
Followers 414
Following 311
Header Image
Momo 🏳️‍🌈🏳️‍⚧️
@[email protected]

She/they (trans blobcattrans Blobhaj_Flag_Progress_Intersex_Right | 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 372
Followers 26
Following 129
Last posted ▼ 1 day ago
Posts 2,781
Followers 1,504
Following 2,385
Header Image

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

Last posted ▼ 1 day ago
Posts 7,563
Followers 202
Following 59
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,580
Followers 164
Following 217
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical)

Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)

Haskell in the streets, agda in the sheets.

Last posted ▼ 1 day ago
Posts 476
Followers 102
Following 238
Header Image

nouns' biggest fan - art director, professional hand drawer, haskell evangelist - sometimes I fail at making games - ✨they✨

Last posted ▼ 1 day ago
Posts 113
Followers 34
Following 55
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 156
Followers 46
Following 73

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 ▼ 1 day ago
Posts 6,846
Followers 6,838
Following 850
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,177
Followers 269
Following 174
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,541
Followers 222
Following 390