logo FEDIDEVS

FEDIDEVS

116 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 Less than a day ago
Posts ▼ 544
Followers 301
Following 330

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 Less than a day ago
Posts ▼ 513
Followers 7,360
Following 865
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 ▼ 222
Followers 476
Following 795
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 ▼ 195
Followers 1,477
Following 1,040
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted Less than a day ago
Posts ▼ 146
Followers 407
Following 539

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 ▼ 140
Followers 605
Following 657
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 ▼ 132
Followers 217
Following 60
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 ▼ 101
Followers 459
Following 327
Header Image

Multidisciplinary nerd. Aotearoan–Scots. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .

Last posted 1 day ago
Posts ▼ 96
Followers 209
Following 184
Header Image

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

Last posted 1 day ago
Posts ▼ 94
Followers 207
Following 659
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 1 day ago
Posts ▼ 93
Followers 47
Following 55
Last posted 1 day ago
Posts ▼ 89
Followers 1,585
Following 2,517
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 ▼ 60
Followers 1,915
Following 681
Header Image

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

Last posted Less than a day ago
Posts ▼ 55
Followers 95
Following 194
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 2 days ago
Posts ▼ 52
Followers 359
Following 136
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 ▼ 41
Followers 1,187
Following 524
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts ▼ 37
Followers 181
Following 228
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted 1 day ago
Posts ▼ 36
Followers 57
Following 171
Header Image
Marko Dimjašević
@[email protected]

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Last posted 1 day ago
Posts ▼ 35
Followers 84
Following 54
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 ▼ 33
Followers 465
Following 162