logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem from 🇲🇾. 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 . Big fan of .

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,818
Followers ▼ 5
Following 405

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,805
Followers ▼ 5
Following 883
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic kubernetes AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted 1 day ago
Posts 491
Followers ▼ 1
Following 131
Header Image

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted 1 day ago
Posts 10,238
Followers ▼ 1
Following 377
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 2 days ago
Posts 7,730
Followers ▼ 1
Following 1,040
Header Image
Last posted 1 day ago
Posts 77
Followers ▼ 1
Following 24
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 1 day ago
Posts 3,280
Followers ▼ 1
Following 315
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 733
Followers ▼ 1
Following 169
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted Less than a day ago
Posts 208
Followers ▼ 1
Following 65
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 792
Followers ▼ 1
Following 140

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 4 days ago
Posts 47
Followers ▼ 0
Following 211
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 3 months ago
Posts 6
Followers ▼ 0
Following 1
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 1 month ago
Posts 77
Followers ▼ 0
Following 148

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of ocaml for the ecosystem! ocaml_hug

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 1 week ago
Posts 327
Followers ▼ 0
Following 1,001
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted 3 months ago
Posts 221
Followers ▼ 0
Following 1,355
Header Image

physics grad student // he/they // condensed matter, algebraic geometry, category theory, Rust and Haskell

Last posted 5 months ago
Posts 417
Followers ▼ 0
Following 101

I'm trans pan married 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 :)

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)

Last posted 3 weeks ago
Posts 814
Followers ▼ 0
Following 61
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted 6 days ago
Posts 118
Followers ▼ 0
Following 34
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,862
Followers ▼ 0
Following 423
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 2 months ago
Posts 16
Followers ▼ 0
Following 62

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 5 days ago
Posts 426
Followers ▼ 0
Following 109