logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,645
Followers 263
Following 925
Header Image

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

Last posted ▼ 1 day ago
Posts 8,705
Followers 261
Following 760

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 12,187
Followers 8,831
Following 913
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,787
Followers 5,206
Following 12
Header Image

Hacker with a . Bass player and Musician. (Currently accepting students, online or on-site) antifa (he/his)

Last posted ▼ 1 day ago
Posts 8,923
Followers 1,246
Following 185
Header Image
Zoe : Void -> a
@[email protected]

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

Last posted ▼ 1 day ago
Posts 2,200
Followers 64
Following 76
Header Image

Staff Software Engineer working with , and Functional Programming advocate through and - is the word.

all my content have a license CC BY-NC-SA 4.0

Last posted ▼ 1 day ago
Posts 3,923
Followers 414
Following 331
Last posted ▼ 1 day ago
Posts 3,835
Followers 1,690
Following 2,593
Header Image
Anthony Cowley
@[email protected]

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

Last posted ▼ 1 day ago
Posts 3,101
Followers 606
Following 376
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 24,009
Followers 381
Following 347

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 28
Followers 138
Following 233
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,676
Followers 519
Following 339
Header Image
Arianna Masciolini
@[email protected]

- computer scientists see me as a linguist and vice versa
- ho voluto la bicicletta e ora pedalo
- försöker bli svensk men det är inte så bra tajmat

Last posted ▼ 1 day ago
Posts 210
Followers 41
Following 139
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,074
Followers 546
Following 153
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,697
Followers 1,593
Following 1,045
Header Image

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

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted ▼ 1 day ago
Posts 9,887
Followers 239
Following 67
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 like to play guitar 🎶 and practicing a bit on my banjo 🪕. I also appreciate playing with language 📝 .

Last posted ▼ 1 day ago
Posts 390
Followers 117
Following 120
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 3,136
Followers 254
Following 435
Header Image

a Haskell programmer

Last posted ▼ 1 day ago
Posts 5
Followers 9
Following 7
Header Image
backup of @[email protected] If you see this, say hi! neocat_flag_trans neocat_flag_lesbian neocat_flag_polyam I'm Emilia (with an E!) and I love to chat. DMs always open! neocat_heart I'm also open to flirting from adult fem people & enbies! Aside from chatting, I like programming (elixir, go, haskell), homelabbing and writing. I'm currently working on a trans romance novel. I run EndeavourOS(Arch, btw) with KDE, Alacritty and zsh. Based Floorp user, btw. I've been a gamer since I was a kid (way too long ago). Some of my favorites are Nier Automata, Sekiro, and Cyperpunk 2077. My current rotation is a mix of League and The Bazaar. I play a handful of instruments and studied classical & jazz through college. I currently play the bass guitar, tenor sax, and the drums. Quotes: "what if instead of dfxluna your @ was dfREAKluna and you put me in the microwave" —@[email protected] Discord & xmpp available on request! Backup is @[email protected] Pfp artist is @[email protected] [kofi](https://ko-fi.com/minidan) Banner artist is [Li Flag](https://www.pixiv.net/en/users/14165905) #noindex
Last posted ▼ 1 day ago
Posts 5
Followers 32
Following 69
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted ▼ 2 days ago
Posts 343
Followers 315
Following 82