logo FEDIDEVS

FEDIDEVS

122 awesome Haskell accounts on Mastodon.

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

@[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
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted ▼ 1 day ago
Posts 54
Followers 3
Following 14
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

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

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

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

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

Staff Software Engineer working with , and Functional Programming advocate through and - is the word.

all my content have a license CC BY-NC-SA 4.0

Last posted ▼ 1 day ago
Posts 3,184
Followers 387
Following 309
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

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
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

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

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
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
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

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