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 1 day ago
Posts ▼ 172
Followers 345
Following 340

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 Less than a day ago
Posts ▼ 134
Followers 7,972
Following 887
Header Image

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

Last posted Less than a day ago
Posts ▼ 115
Followers 492
Following 337
Header Image

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted Less than a day ago
Posts ▼ 70
Followers 657
Following 398
Header Image

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

Last posted 1 day ago
Posts ▼ 51
Followers 233
Following 696
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 ▼ 34
Followers 502
Following 819

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 ▼ 32
Followers 643
Following 683
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 2 days ago
Posts ▼ 27
Followers 393
Following 141
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 ▼ 24
Followers 1,513
Following 1,045
Header Image

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

Last posted 2 days ago
Posts ▼ 23
Followers 61
Following 188
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 ▼ 22
Followers 230
Following 63
Header Image
Zoe : Void -> a
@[email protected]

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Last posted Less than a day ago
Posts ▼ 20
Followers 49
Following 54
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 ▼ 17
Followers 240
Following 427
Header Image
Anthony Cowley
@[email protected]

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted Less than a day ago
Posts ▼ 12
Followers 595
Following 375
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted 2 days ago
Posts ▼ 11
Followers 12
Following 29
Header Image

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Last posted 1 day ago
Posts ▼ 10
Followers 553
Following 1,047

Indie quant developer and algo trader. Polyglot software engineer (#Haskell, , , , , , ).

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 1 day ago
Posts ▼ 9
Followers 1,951
Following 692
Header Image

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

Last posted 3 days ago
Posts ▼ 9
Followers 102
Following 207
Header Image
Jaro Reinders
@[email protected]

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in .

I'm also a enthusiast, contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that I'd like to play some guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 .

Last posted 2 days ago
Posts ▼ 8
Followers 73
Following 97
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 2 days ago
Posts ▼ 8
Followers 88
Following 64
Header Image

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

I also *really* like trains :)

Last posted 1 day ago
Posts ▼ 7
Followers 40
Following 125