logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image
Patrik Jansson
@[email protected]

Computer scientist, hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted 1 day ago
Posts 1,141
Followers 360
Following ▼ 4
Last posted 1 day ago
Posts 3,699
Followers 1,680
Following ▼ 2
Header Image
Cass Alexandru @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
 Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities  Friend Boulderer  Yin  🇪🇺an

Last posted 1 day ago
Posts 838
Followers 223
Following ▼ 2
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.

Salvadorian. I also *really* like trains :)

Last posted 2 days ago
Posts 398
Followers 44
Following ▼ 1
Header Image

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

Last posted 1 day ago
Posts 290
Followers 308
Following ▼ 1
Header Image

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ , , , , , -pilled—i just like programming languages okay

Last posted 1 day ago
Posts 765
Followers -1
Following ▼ 1
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 23,414
Followers 380
Following ▼ 1

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 11,696
Followers 8,651
Following ▼ 1
Header Image

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

Last posted 1 day ago
Posts 8,418
Followers 252
Following ▼ 1
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted 1 day ago
Posts 4,075
Followers 412
Following ▼ 1
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 1 day ago
Posts 1,950
Followers 56
Following ▼ 1
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 6 months ago
Posts 16
Followers 13
Following ▼ 0

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 3 weeks ago
Posts 825
Followers 141
Following ▼ 0

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,181
Followers 673
Following ▼ 0
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 7 months ago
Posts 6
Followers 1
Following ▼ 0
Header Image
🤍 HE🜁RT fedora
@[email protected]

python javascript rust haskell

Last posted 4 months ago
Posts 2
Followers 1
Following ▼ 0
Header Image
Arianna Masciolini
@[email protected]

facts that feel somewhat relevant right now, in no particular order:

- 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 5 days ago
Posts 167
Followers 34
Following ▼ 0
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 Less than a day ago
Posts 188
Followers 68
Following ▼ 0
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 188
Followers 128
Following ▼ 0
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted 1 day ago
Posts 143
Followers 13
Following ▼ 0
Header Image
Vitaly Bragilevsky
@[email protected]

Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted 1 week ago
Posts 43
Followers 446
Following ▼ 0