logo FEDIDEVS

FEDIDEVS

120 awesome Haskell accounts on Mastodon.

haskell Haskell

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 1 day ago
Posts ▼ 114
Followers 7,260
Following 859
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 ▼ 113
Followers 302
Following 327

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 ▼ 69
Followers 599
Following 653
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 ▼ 61
Followers 467
Following 816
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 ▼ 48
Followers 1,453
Following 1,040
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 ▼ 41
Followers 209
Following 184
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts ▼ 31
Followers 263
Following 900
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 ▼ 21
Followers 380
Following 305
Last posted 2 days ago
Posts ▼ 19
Followers 1,574
Following 2,507
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 ▼ 19
Followers 352
Following 136
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 ▼ 19
Followers 47
Following 52
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts ▼ 18
Followers 182
Following 228
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 ▼ 17
Followers 452
Following 325
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 4 days ago
Posts ▼ 14
Followers 400
Following 525
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 ▼ 14
Followers 216
Following 61
Header Image

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

Last posted 1 day ago
Posts ▼ 11
Followers 202
Following 653
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 ▼ 9
Followers 1,183
Following 522
Header Image

Software developer, , , , , enthusiast; contributor to alexn.org, monix.io, typelevel.org.

🌍 ,

Last posted 1 day ago
Posts ▼ 9
Followers 1,229
Following 362
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 1 day ago
Posts ▼ 9
Followers 31
Following 76
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes Generic Programming Language Acquisition New Masculinities  Friend  Yin  🇪🇺an

Last posted 1 day ago
Posts ▼ 9
Followers 176
Following 156