logo FEDIDEVS

FEDIDEVS

128 awesome Haskell accounts on Mastodon.

haskell Haskell

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 1 day ago
Posts 7,072
Followers ▼ 22
Following 850
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 like pats blobcatpats
Pats, boosts, likes are welcome!

I love programming and on .

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

My DM is open if you wanna talk about anything! :3

MDNI

Last posted 1 day ago
Posts 595
Followers ▼ 18
Following 139
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,361
Followers ▼ 4
Following 1,039
Header Image
Decenta Lyzed
@[email protected]
Last posted 2 days ago
Posts 38
Followers ▼ 3
Following 16
Header Image

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

Last posted 1 day ago
Posts 7,686
Followers ▼ 3
Following 58
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted 2 days ago
Posts 3,562
Followers ▼ 3
Following 491
Nicholas Boyd Isacsson
@[email protected]

Half-Brit Swede living in Lund but working in Copenhagen.

Last posted 6 days ago
Posts 833
Followers ▼ 3
Following 521
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,841
Followers ▼ 3
Following 197
Last posted 1 day ago
Posts 2,823
Followers ▼ 2
Following 2,405

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 270
Followers ▼ 2
Following 972
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted 1 day ago
Posts 6,639
Followers ▼ 2
Following 615
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests:

Personal:

Last posted 4 days ago
Posts 157
Followers ▼ 2
Following 102
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 2 days ago
Posts 1,180
Followers ▼ 2
Following 176
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

Last posted 1 day ago
Posts 4,622
Followers ▼ 2
Following 791
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 2 days ago
Posts 2,063
Followers ▼ 2
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 2 days ago
Posts 90
Followers ▼ 2
Following 36
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 17,418
Followers ▼ 2
Following 324
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding and am a member of the Haskell team and the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted 4 days ago
Posts 1,772
Followers ▼ 2
Following 475
Header Image
Last posted 1 day ago
Posts 122
Followers ▼ 1
Following 45

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 2 days ago
Posts 36
Followers ▼ 1
Following 190