logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell

Displaced Philly boy. Threat hunter. Educator. ifin Executive Director. , 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 Less than a day ago
Posts 11,353
Followers ▼ 5
Following 907
Header Image

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

Last posted 1 day ago
Posts 1,209
Followers ▼ 2
Following 215
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 2 days ago
Posts 1,993
Followers ▼ 1
Following 244
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 22,569
Followers ▼ 1
Following 348
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts 1,363
Followers ▼ 1
Following 146

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 10,021
Followers ▼ 1
Following 703
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 2 days ago
Posts 2,667
Followers ▼ 1
Following 11
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 968
Followers ▼ 1
Following 146
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 8,205
Followers ▼ 1
Following 1,047

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 1 day ago
Posts 29
Followers ▼ 0
Following 221
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 4 months ago
Posts 77
Followers ▼ 0
Following 148
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 1 day ago
Posts 2,317
Followers ▼ 0
Following 536
Header Image
Jesse Hallett
@[email protected]

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

Pronouns he/they

Last posted 6 days ago
Posts 187
Followers ▼ 0
Following 195

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 338
Followers ▼ 0
Following 1,001
Header Image
🤍 HE🜁RT fedora
@[email protected]

python javascript rust haskell

Last posted 3 months ago
Posts 2
Followers ▼ 0
Following 4
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 5 months ago
Posts 16
Followers ▼ 0
Following 62
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 1 week ago
Posts 171
Followers ▼ 0
Following 60
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 6 months ago
Posts 6
Followers ▼ 0
Following 1

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 2 weeks ago
Posts 424
Followers ▼ 0
Following 111
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 1 month ago
Posts 208
Followers ▼ 0
Following 189
Header Image

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

Last posted 1 month ago
Posts 36
Followers ▼ 0
Following 76