logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

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 23,812
Followers 380
Following 346
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 ▼ Less than a day ago
Posts 3,808
Followers 408
Following 324
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,664
Followers 262
Following 922

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,966
Followers 8,769
Following 910
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted ▼ 1 day ago
Posts 658
Followers 115
Following 265
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 2,044
Followers 60
Following 71
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,747
Followers 5,187
Following 11
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 1 day ago
Posts 835
Followers 285
Following 232
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,527
Followers 1,580
Following 1,046
Header Image

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

Last posted ▼ 1 day ago
Posts 8,901
Followers 1,247
Following 182
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. Helps run IndieWebClub Bangalore blr.indiewebclub.org. Administrators stic.earth.

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 6,948
Followers 511
Following 832
Header Image

Check out my little programming challenge website: easters.dev/

Last posted ▼ 1 day ago
Posts 119
Followers 14
Following 26

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 33
Followers 136
Following 230
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding and am a member of the Haskell team and the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted ▼ 1 day ago
Posts 1,813
Followers 515
Following 472
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,695
Followers 235
Following 66
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 214
Followers 72
Following 137
Header Image
These bananas have arms 🍌💪
@[email protected]

himbo/thembo 🏳️‍🌈 · Haskell homosexual who thinks monads are foreplay and `-Wall -Werror` is a love language. I write functional code, filthier commit messages, and a blog nobody asked for → thisfieldwas.green. Fluent in Scala, decent at category theory, and expert at holding eye contact two seconds too long. Explain applicative functors to me slowly and I am ANYBODY's. Type systems make me feel things. Will leave you on read to refactor a parser combinator. Gay, geeky, and a documented menace in code review. Reality TV scholar; I know exactly who deserved to win. Come for the lambdas, stay because I bullied you into learning Haskell.

Last posted ▼ 1 day ago
Posts 10
Followers 9
Following 29
Last posted ▼ 1 day ago
Posts 3,781
Followers 1,682
Following 2,595
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,052
Followers 530
Following 150
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,515
Followers 514
Following 337
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 1,787
Followers 87
Following 73