logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
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 ▼ 15
Followers 371
Following 348

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 1 day ago
Posts ▼ 14
Followers 8,522
Following 907
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on github.com/google/googlesql

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 ▼ 12
Followers 506
Following 831
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 ▼ 9
Followers 1,544
Following 1,046

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, , , , , , ) and recovering software engineer in "tech".

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 1 day ago
Posts ▼ 8
Followers 1,960
Following 693
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts ▼ 8
Followers 262
Following 917
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 ▼ 6
Followers 506
Following 337
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts ▼ 6
Followers 370
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 Less than a day ago
Posts ▼ 5
Followers 660
Following 703
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 ▼ 4
Followers 232
Following 66
Last posted 1 day ago
Posts ▼ 4
Followers 1,666
Following 2,596
Header Image
Cass Alexandru @TYPES, Zurihac, PLDI
@[email protected]

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
 #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

Last posted 1 day ago
Posts ▼ 3
Followers 216
Following 179
Header Image

Software engineer in New York, amateur code blogger, lover of cats and anteaters.

Opinions expressed do not represent that of my employers.

Last posted 1 day ago
Posts ▼ 3
Followers 65
Following 131
Header Image

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

Last posted 1 day ago
Posts ▼ 2
Followers 105
Following 214
Header Image
Marko Dimjašević
@[email protected]

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Last posted 1 day ago
Posts ▼ 2
Followers 87
Following 68

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 ▼ 1
Followers 356
Following 1,001
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 ▼ 1
Followers 451
Following 145
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted 1 day ago
Posts ▼ 1
Followers 65
Following 193
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 ▼ 1
Followers 405
Following 919
Header Image

nouns' biggest fan - art director, professional hand drawer, haskell evangelist - sometimes I fail at making games - ✨they✨

Last posted 1 day ago
Posts ▼ 1
Followers 35
Following 54
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts ▼ 1
Followers 193
Following 244