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 ▼ 21
Followers 174
Following 261
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 ▼ 20
Followers 157
Following 192
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 ▼ 11
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 ▼ 8
Followers 604
Following 577
Header Image
Kalamata Hari
@[email protected]

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

Last posted 1 day ago
Posts ▼ 6
Followers 171
Following 49
Header Image
Patrik Jansson
@[email protected]

Computer scientist, hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted 1 day ago
Posts ▼ 4
Followers 251
Following 150
Header Image

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

Last posted 1 day ago
Posts ▼ 4
Followers 151
Following 487
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 ▼ 4
Followers 81
Following 144
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 ▼ 4
Followers 1,142
Following 992
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 ▼ 3
Followers 189
Following 346
Last posted 1 day ago
Posts ▼ 3
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 ▼ 3
Followers 320
Following 407
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 ▼ 2
Followers 147
Following 72

I'm trans pan woman and usually I'm the . And (mostly and ) ;)
But really, most of the time I live inside my (technically these days) and coding.

heart_trans heart_pan opensource neovim vim golang rust kubernetes python haskell

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

Last posted 1 day ago
Posts ▼ 2
Followers 24
Following 46
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 ▼ 2
Followers 323
Following 831
Header Image

A guy who's trying to make more switches to FOSS, interested in gaming, philosophy, science, food...

Expect some political/environment rants...

Last posted 1 day ago
Posts ▼ 2
Followers 85
Following 61
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 ▼ 2
Followers 114
Following 162
Header Image
Vincent Zee 徐
@[email protected]

Programmer interested in and many more! Currently learning F#. User of . Collector of books!

Also into and

Last posted 1 day ago
Posts ▼ 1
Followers 85
Following 258
Carlos Saltos
@[email protected]

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of Talenteca.com
For geeks -> @csaltos

Last posted 1 day ago
Posts ▼ 1
Followers 129
Following 188
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 ▼ 1
Followers 70
Following 52