logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans 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 20,463
Followers 329
Following 334
Header Image
Zoe : Void -> a
@[email protected]

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Last posted ▼ Less than a day ago
Posts 1,343
Followers 51
Following 59
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted ▼ Less than a day ago
Posts 10,038
Followers 643
Following 366

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,538
Followers 7,544
Following 878
Header Image
Tiesha the Transgressor
@[email protected]

Furry/otherkin/otherwise of dragon species. I love journaling and meditation.

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

My academic interests:
- mechanism design, 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 171
Followers 12
Following 49
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 ▼ 1 day ago
Posts 2,219
Followers 1,195
Following 529
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 773
Followers 371
Following 138
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,786
Followers 491
Following 807
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,607
Followers 1,502
Following 1,041
Header Image
Last posted ▼ 1 day ago
Posts 75
Followers 9
Following 24

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 76
Followers 106
Following 208
Header Image

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

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted ▼ 1 day ago
Posts 2,421
Followers 1,937
Following 688
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem from 🇲🇾. 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 . Big fan of .

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,444
Followers 304
Following 367
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 161
Followers 20
Following 102
Header Image

Indoor European. Knows . Writes (in or or or or ). Not a fan of racism, sexism, transphobia, or bigotry.
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted ▼ 1 day ago
Posts 8,751
Followers 224
Following 61
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,827
Followers 181
Following 231
Last posted ▼ 1 day ago
Posts 3,457
Followers 1,604
Following 2,543

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

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

Last posted ▼ 1 day ago
Posts 9,645
Followers 636
Following 672
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,710
Followers 482
Following 333
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,832
Followers 465
Following 164