logo FEDIDEVS

FEDIDEVS

61 awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,597
Followers 258
Following 889
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted ▼ Less than a day ago
Posts 697
Followers 92
Following 172

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,026
Followers 6,854
Following 850
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,154
Followers 419
Following 313

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 day ago
Posts 256
Followers 335
Following 971
Header Image

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

Last posted ▼ 1 day ago
Posts 7,654
Followers 204
Following 58
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 901
Followers 312
Following 164
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 200
Followers 608
Following 1,267
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,321
Followers 461
Following 250
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical)

Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)

Haskell in the streets, agda in the sheets.

Last posted ▼ 1 day ago
Posts 489
Followers 102
Following 237
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted ▼ 1 day ago
Posts 2,061
Followers 1,158
Following 519
Josep Bigorra 🐂🇳🇱🎸👨‍💻
@[email protected]

Software Engineer from the Netherlands 🇳🇱
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted ▼ 1 day ago
Posts 88
Followers 34
Following 36
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last posted ▼ 1 day ago
Posts 2,116
Followers 1,898
Following 673
Header Image

> git checkout --no-overlay --
if only ..

all content CC BY-SA 4.0

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
,
DP - shamelessly stolen from a an fp video i watched

Last posted ▼ 1 day ago
Posts 10,755
Followers 616
Following 198
Last posted ▼ 1 day ago
Posts 2,820
Followers 1,512
Following 2,400
Header Image
Xavier Van de Woestyne
@[email protected]

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted ▼ 1 day ago
Posts 1,179
Followers 271
Following 176
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,550
Followers 224
Following 393
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,603
Followers 166
Following 218
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

She/they/it (trans blobcattrans heart_nb Blobhaj_Flag_Progress_Intersex_Right | 26 | )

blobcat ish one frisky, fedi kitty.

I love programming and on .

A fan of Stardew Valley and CBN. Sometimes I make mods for them.

MDNI

Last posted ▼ 1 day ago
Posts 519
Followers 39
Following 132
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,335
Followers 1,366
Following 1,040