logo FEDIDEVS

FEDIDEVS

123 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 20,077
Followers 317
Following 331
Header Image

Interested in physics, science, software e.g. haskell, ...

Last posted ▼ 1 day ago
Posts 17
Followers 2
Following 13
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and .

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted ▼ 1 day ago
Posts 2,121
Followers 242
Following 282

Displaced Philly boy. Threat hunter. Educator. , rust, python haskell, and javascript. advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made wtfbins.wtf. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

Last posted ▼ 1 day ago
Posts 9,189
Followers 7,435
Following 865
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,764
Followers 384
Following 900
Header Image
Last posted ▼ 2 days ago
Posts 65
Followers 9
Following 24
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted ▼ 2 days ago
Posts 696
Followers 58
Following 173
Header Image

they/she 🏳️‍⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted ▼ 2 days ago
Posts 156
Followers 262
Following 60
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 ▼ 2 days ago
Posts 347
Followers 93
Following 155
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 2 days ago
Posts 1,798
Followers 181
Following 230
Header Image
nmeum 🔜 39c3
@[email protected]

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 ▼ 2 days ago
Posts 85
Followers 333
Following 537
Header Image

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

[Ger,Eng,Tok]

Last posted ▼ 2 days ago
Posts 2,794
Followers 237
Following 412
Header Image

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

🌍 ,

Last posted ▼ 2 days ago
Posts 46
Followers 1,234
Following 359
Header Image

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Last posted ▼ 2 days ago
Posts 17
Followers 15
Following 51
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 ▼ 2 days ago
Posts 3,162
Followers 387
Following 309
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 ▼ 2 days ago
Posts 685
Followers 183
Following 159
Header Image
Axman6 | 🇦🇺
@[email protected]

Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
🦋bsky.app/profile/axman6.au

Last posted ▼ 3 days ago
Posts 474
Followers 158
Following 374
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted ▼ 3 days ago
Posts 154
Followers 19
Following 102
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 ▼ 3 days ago
Posts 2,196
Followers 1,193
Following 525
Header Image
Artem Pelenitsyn
@[email protected]

Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Programming languages and compilers. Julia, Haskell.

Last posted ▼ 3 days ago
Posts 204
Followers 98
Following 101