logo FEDIDEVS

FEDIDEVS

117 awesome Haskell developers on Mastodon.

Human haskell Haskell
Header Image

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

🌍 ,

Last posted 1 day ago
Posts 45
Followers ▼ 5
Following 359

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,174
Followers ▼ 3
Following 865
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,010
Followers ▼ 1
Following 331
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,103
Followers ▼ 1
Following 280
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted 1 day ago
Posts 1,441
Followers ▼ 1
Following 246
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 7,471
Followers ▼ 1
Following 1,040
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 day ago
Posts 2,477
Followers ▼ 1
Following 11

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted Less than a day ago
Posts 401
Followers ▼ 0
Following 105

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted 3 days ago
Posts 46
Followers ▼ 0
Following 199
Header Image

Furry/otherkin/otherwise. I love journaling and meditation.
Applied statistician, data scientist, computer hobbyist.
Game theory, category theory, agentic systems.
Python, Haskell, Scheme.

I saw the beads and colored eyes, trampled into the asphalt.
I will never believe in the change in the weather.

Last posted 5 days ago
Posts 78
Followers ▼ 0
Following 36
Header Image
aiya000🐕️あいや
@[email protected]

Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!

Last posted 1 month ago
Posts 6
Followers ▼ 0
Following 1
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 2 weeks ago
Posts 16
Followers ▼ 0
Following 62
Header Image

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: github.com/dkurilo
And write me if I can help somehow.

Last posted 4 months ago
Posts 9
Followers ▼ 0
Following 9
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 4 days ago
Posts 75
Followers ▼ 0
Following 148
Header Image
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted 2 months ago
Posts 183
Followers ▼ 0
Following 197
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 1 day ago
Posts 2,196
Followers ▼ 0
Following 525
Last posted 1 day ago
Posts 3,317
Followers ▼ 0
Following 2,521
Header Image

Ruby and JS in the streets, Haskell and friends between the sheets.

Last posted 1 month ago
Posts 30
Followers ▼ 0
Following 76
Header Image

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

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted 1 day ago
Posts 8,633
Followers ▼ 0
Following 61