logo FEDIDEVS

FEDIDEVS

115 awesome Haskell developers on Mastodon.

Human haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,976
Followers 262
Following 908
Header Image

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

[Ger,Eng,Tok]

Last posted ▼ Less than a day ago
Posts 2,806
Followers 236
Following 411

Professional freelance programmer (, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted ▼ Less than a day ago
Posts 9,558
Followers 627
Following 666
Last posted ▼ Less than a day ago
Posts 3,358
Followers 1,594
Following 2,530
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 ▼ 1 day ago
Posts 7,812
Followers 463
Following 162
Header Image

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (, , , , , ) with focus on building privacy-cenetered applications and services.

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted ▼ 1 day ago
Posts 2,332
Followers 1,928
Following 684
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 ▼ 1 day ago
Posts 20,199
Followers 322
Following 334

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 38
Followers 98
Following 200
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 7,528
Followers 1,490
Following 1,040
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , 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: transport.data.gouv.fr

Last posted ▼ 1 day ago
Posts 1,454
Followers 218
Following 246

Displaced Philly boy. Threat hunter. Educator. , rust, python haskell, and javascript. advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made wtfbins.wtf. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

Last posted ▼ 1 day ago
Posts 9,288
Followers 7,501
Following 867
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

Last posted ▼ 1 day ago
Posts 5,673
Followers 484
Following 802
Header Image
Tiesha the Transgressor
@[email protected]

Furry/otherkin/otherwise. I love journaling and meditation.

I am a(n): grad student, applied statistician, data scientist, feminist, computer hobbyist.

My academic interests: Social choice theory, game theory, category theory, agentic systems.

Programming languages I use: Python, Haskell, Scheme.

I saw: the beads and colored eyes, trampled into the asphalt.

I will never believe in: the change in the weather.

Last posted ▼ 1 day ago
Posts 112
Followers 9
Following 40
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 156
Followers 19
Following 102
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and .

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted ▼ 1 day ago
Posts 2,137
Followers 246
Following 285
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,806
Followers 181
Following 231
Header Image

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

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted ▼ 1 day ago
Posts 8,658
Followers 220
Following 61
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted ▼ 1 day ago
Posts 10,650
Followers 475
Following 330
Header Image

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

Last posted ▼ 1 day ago
Posts 755
Followers 370
Following 137
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Traditional Unix editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- I might be a luddite - I don't favour all tech or all vendors.

Last posted ▼ 1 day ago
Posts 2,776
Followers 383
Following 903