logo FEDIDEVS

FEDIDEVS

115 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 1 day ago
Posts ▼ 26
Followers 302
Following 329

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

Pronouns: He/him.

Last posted 2 days ago
Posts ▼ 24
Followers 7,325
Following 863
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
Followers 455
Following 326
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 ▼ 7
Followers 1,474
Following 1,040
Header Image

Furry/otherkin/otherwise. I love journaling and meditation.
AI researcher, data scientist, computer hobbyist.
Game theory, category theory, agentic systems.
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 2 days ago
Posts ▼ 7
Followers 5
Following 31
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted 2 days ago
Posts ▼ 5
Followers 207
Following 657
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted 2 days ago
Posts ▼ 4
Followers 95
Following 190
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 2 days ago
Posts ▼ 4
Followers 476
Following 789
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 2 days ago
Posts ▼ 3
Followers 181
Following 228
Header Image
Sebastian Wagner
@[email protected]

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Last posted 2 days ago
Posts ▼ 2
Followers 102
Following 301
Header Image
Olivia Weston
@[email protected]

Programming languages PhD student at University of Glasgow, programmer, sysadmin, lover of Haskell, purveyor of fine dining and fine memes.

This is a primarily professional account. Feel free to @ me for my personal socials.

Last posted 2 days ago
Posts ▼ 2
Followers 63
Following 60
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 2 days ago
Posts ▼ 2
Followers 464
Following 163
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 2 days ago
Posts ▼ 2
Followers 224
Following 279
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 2 days ago
Posts ▼ 2
Followers 188
Following 195
Header Image

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

Last posted 2 days ago
Posts ▼ 1
Followers 32
Following 77
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).

Other than that I'd like to play some guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 .

Last posted 2 days ago
Posts ▼ 1
Followers 70
Following 99
Jonathan Carroll
@[email protected]

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

rstats haskell julia rust apl python bash

Also learning Japanese 🇯🇵

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted 2 days ago
Posts ▼ 1
Followers 1,185
Following 524
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding and am a member of the Haskell team and the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted 2 days ago
Posts ▼ 1
Followers 508
Following 478

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 2 days ago
Posts ▼ 1
Followers 97
Following 200
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 ▼ 1
Followers 237
Following 412