logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell

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 10,471
Followers ▼ 7
Following 891
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 Less than a day ago
Posts 21,671
Followers ▼ 6
Following 342
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,612
Followers ▼ 4
Following 11
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted 1 day ago
Posts 11,178
Followers ▼ 2
Following 337

Professional freelance programmer (#python, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted 1 day ago
Posts 9,849
Followers ▼ 2
Following 696
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted 1 day ago
Posts 17
Followers ▼ 2
Following 133
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 860
Followers ▼ 1
Following 141
Header Image

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

Last posted 1 day ago
Posts 7,991
Followers ▼ 1
Following 709
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,915
Followers ▼ 1
Following 919
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,936
Followers ▼ 1
Following 237
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,919
Followers ▼ 1
Following 1,045
Header Image

Indoor European. Knows . Writes (in or or or or ). Not a fan of racism, sexism, transphobia, or bigotry.
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted 1 day ago
Posts 9,027
Followers ▼ 0
Following 64
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 5 days ago
Posts 2,265
Followers ▼ 0
Following 534
Header Image

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

Last posted 2 days ago
Posts 36
Followers ▼ 0
Following 76

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 month ago
Posts 332
Followers ▼ 0
Following 1,003
Header Image
Jesse Hallett
@[email protected]

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

Pronouns he/they

Last posted 1 month ago
Posts 185
Followers ▼ 0
Following 195
Header Image
🤍 HE🜁RT fedora
@[email protected]

python javascript rust haskell

Last posted 2 months ago
Posts 2
Followers ▼ 0
Following 4
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 4 months ago
Posts 6
Followers ▼ 0
Following 1
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

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

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted 2 weeks ago
Posts 496
Followers ▼ 0
Following 131
Josep Bigorra (jjba23)
@[email protected]

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
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 3 weeks ago
Posts 169
Followers ▼ 0
Following 61

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 1 week ago
Posts 822
Followers ▼ 0
Following 62