logo FEDIDEVS

FEDIDEVS

121 awesome Haskell developers on Mastodon.

Human haskell Haskell

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 7,026
Followers ▼ 89
Following 850
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted 1 week ago
Posts 2,344
Followers ▼ 24
Following 11
Header Image
Compiler Explorer
@[email protected]

I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

Last posted 2 weeks ago
Posts 129
Followers ▼ 22
Following 39
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 519
Followers ▼ 22
Following 132
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 6,335
Followers ▼ 18
Following 1,040
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 5 days ago
Posts 492
Followers ▼ 17
Following 110
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,605
Followers ▼ 15
Following 789
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 3,549
Followers ▼ 15
Following 490
Last posted 1 day ago
Posts 2,820
Followers ▼ 15
Following 2,400
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 88
Followers ▼ 12
Following 36
Header Image
Anthony Cowley
@[email protected]

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted 4 days ago
Posts 2,890
Followers ▼ 11
Following 373
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 9,154
Followers ▼ 10
Following 313
Header Image

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Last posted 1 week ago
Posts 95
Followers ▼ 8
Following 490
Header Image

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

Last posted 1 day ago
Posts 6,633
Followers ▼ 8
Following 615
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 3 days ago
Posts 1,417
Followers ▼ 8
Following 193
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 157
Followers ▼ 6
Following 102
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 560
Followers ▼ 6
Following 37
Header Image

iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.

Also @abizern.dev on Bluesky

Last posted 3 days ago
Posts 275
Followers ▼ 5
Following 149
Header Image
Stephan Schiffels
@[email protected]

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

Last posted 3 weeks ago
Posts 395
Followers ▼ 5
Following 507
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 2,571
Followers ▼ 5
Following 884