logo FEDIDEVS

FEDIDEVS

107 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 ▼ 265
Followers 174
Following 261
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 1 day ago
Posts ▼ 107
Followers 353
Following 263
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in , , , & . They/them.

()

Last posted Less than a day ago
Posts ▼ 77
Followers 604
Following 577
jailandrade 🍉
@[email protected]

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about , , , , , , and ,

very interested in languages like , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted Less than a day ago
Posts ▼ 67
Followers 157
Following 192
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 ▼ 54
Followers 1,142
Following 992
Header Image
Kalamata Hari
@[email protected]

Indoor European. I know . I write (in or or or or ).

Last posted 1 day ago
Posts ▼ 45
Followers 171
Following 49
Header Image

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

Last posted 1 day ago
Posts ▼ 34
Followers 151
Following 487
Header Image

FOSS person. for the , CPC, , and other shiny things (PC and !).

Also , , and , and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Last posted 1 day ago
Posts ▼ 32
Followers 875
Following 310
Last posted 1 day ago
Posts ▼ 29
Followers 1,329
Following 2,045
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 ▼ 26
Followers 320
Following 407
Header Image

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

Last posted 2 days ago
Posts ▼ 20
Followers 544
Following 372
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts ▼ 16
Followers 239
Following 798
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.

- Standard 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

- Not a luddite at all, but I don't favour all tech or all vendors.

Last posted 1 day ago
Posts ▼ 16
Followers 323
Following 831
Header Image

Haskell programmer, Linux user.

Last posted 6 days ago
Posts ▼ 13
Followers 70
Following 140
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 1 day ago
Posts ▼ 12
Followers 114
Following 162
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 2 days ago
Posts ▼ 12
Followers 74
Following 198
Header Image
Bartosz Milewski
@[email protected]

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

Last posted 2 days ago
Posts ▼ 12
Followers 4,545
Following 8
Header Image

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

Last posted 1 day ago
Posts ▼ 11
Followers 189
Following 346
Header Image
kevin ✨ (he/him)
@[email protected]

& Platform Engineering at AOE GmbH


always antifascist 🏴
always queer 🏳️‍🌈


Posting mainly about Kubernetes, DevSecOps and programming (Rust, Web Dev)


Currently learning Haskell.

Last posted 1 day ago
Posts ▼ 11
Followers 81
Following 144
Header Image

Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue

Last posted 1 day ago
Posts ▼ 9
Followers 477
Following 948