logo FEDIDEVS

FEDIDEVS

128 awesome Haskell accounts on Mastodon.

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 ▼ 188
Followers 274
Following 325

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

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted Less than a day ago
Posts ▼ 117
Followers 6,854
Following 850
Header Image

> git checkout --no-overlay --
if only ..

all content CC BY-SA 4.0

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
,
DP - shamelessly stolen from a an fp video i watched

Last posted 1 day ago
Posts ▼ 114
Followers 616
Following 198
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

She/they/it (trans blobcattrans heart_nb Blobhaj_Flag_Progress_Intersex_Right | 26 | )

blobcat ish one frisky, fedi kitty.

I love programming and on .

A fan of Stardew Valley and CBN. Sometimes I make mods for them.

MDNI

Last posted 1 day ago
Posts ▼ 107
Followers 39
Following 132
Header Image

Indoor European. I know . I write (in or or or or ). 100% OPSEC.

Last posted 1 day ago
Posts ▼ 56
Followers 204
Following 58
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 ▼ 51
Followers 1,366
Following 1,040
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

Last posted Less than a day ago
Posts ▼ 47
Followers 419
Following 313
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted 1 day ago
Posts ▼ 46
Followers 461
Following 250
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 2 days ago
Posts ▼ 46
Followers 389
Following 490
Header Image

Multidisciplinary nerd. 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 ▼ 44
Followers 189
Following 175
Header Image

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

Last posted 1 day ago
Posts ▼ 39
Followers 184
Following 615
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 ▼ 32
Followers 437
Following 789
Last posted 1 day ago
Posts ▼ 25
Followers 1,512
Following 2,400
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts ▼ 12
Followers 166
Following 218
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 6 days ago
Posts ▼ 11
Followers 31
Following 37
Header Image

Free software enthusiast currently working at Epitech Toulouse.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted 1 day ago
Posts ▼ 11
Followers 83
Following 108
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests:

Personal:

Last posted 1 day ago
Posts ▼ 10
Followers 47
Following 102
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Traditional Unix editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- I might be a luddite - I don't favour all tech or all vendors.

Last posted 1 day ago
Posts ▼ 8
Followers 362
Following 884
Josep Bigorra 🐂🇳🇱🎸👨‍💻
@[email protected]

Software Engineer from the Netherlands 🇳🇱
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted 1 day ago
Posts ▼ 8
Followers 34
Following 36
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical)

Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)

Haskell in the streets, agda in the sheets.

Last posted 1 day ago
Posts ▼ 8
Followers 102
Following 237