logo FEDIDEVS

FEDIDEVS

127 awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,763
Followers 260
Following 892
Header Image
Zoe : Void -> a
@[email protected]

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Last posted ▼ Less than a day ago
Posts 671
Followers 34
Following 43

Displaced Philly boy. Threat hunter. Streamer. Educator. , rust, python haskell, and javascript. advocate. Runs @thetaggartinstitute. Made wtfbins.wtf. Co-creator of github.com/mttaggart/Offensive. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted ▼ Less than a day ago
Posts 7,582
Followers 7,015
Following 855
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 ▼ Less than a day ago
Posts 9,787
Followers 438
Following 323
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 6,661
Followers 1,402
Following 1,039
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted ▼ 1 day ago
Posts 106
Followers 4
Following 19
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 527
Followers 322
Following 118
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old trans enby. A cat furry blobcat, solarpunk 🌱, and a lefty anarchist. Also likes pats, flirts, and hugs blobcataww blobfoxfloofcute

This kitty is a pansexual pansexual_flag blobcatblep

I love programming and on .

My posts/boosts consist of tech, gaming, solarpunk, nature, 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 1,069
Followers 118
Following 172
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 1,457
Followers 183
Following 194
Header Image

Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .
🏴󠁧󠁢󠁳󠁣󠁴󠁿 🇳🇿 🏴󠁧󠁢󠁷󠁬󠁳󠁿

Last posted ▼ 1 day ago
Posts 612
Followers 197
Following 176
Last posted ▼ 1 day ago
Posts 2,938
Followers 1,540
Following 2,456
Efexor Zolpidem v_com
@[email protected]

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

Last posted ▼ 1 day ago
Posts 347
Followers 631
Following 1,307
Header Image

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

Last posted ▼ 1 day ago
Posts 7,984
Followers 211
Following 61
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 2,913
Followers 373
Following 294
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 931
Followers 317
Following 164
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 2,632
Followers 225
Following 397
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,615
Followers 371
Following 887
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,643
Followers 171
Following 220
Header Image

Student F# and Haskell

Last posted ▼ 1 day ago
Posts 2
Followers 0
Following 8
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted ▼ 1 day ago
Posts 5,550
Followers 474
Following 274