logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
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 ▼ Less than a day ago
Posts 1,052
Followers 530
Following 150
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 213
Followers 72
Following 137
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted ▼ 1 day ago
Posts 191
Followers 19
Following 105
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ 1 day ago
Posts 1,661
Followers 262
Following 923
Header Image

A guy who's trying to make more switches to FOSS, interested in gaming, philosophy, science, food...

Expect some political/environment rants...

Last posted ▼ 1 day ago
Posts 1,478
Followers 87
Following 64
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 23,788
Followers 380
Following 346

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,963
Followers 8,770
Following 910
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,071
Followers 255
Following 432
Header Image
Mihai Maruseac
@[email protected]

Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google Open Sourse Security Team (GOSST, released model signing & GUAC).
Previously: TensorFlow Security & OSS @ Google Research.
Previously: Haskell+differential privacy+ML @ LeapYear.

Last posted ▼ 1 day ago
Posts 56
Followers 18
Following 39
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,801
Followers 408
Following 324
Header Image
Mihai Maruseac
@[email protected]

Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google Open Sourse Security Team (GOSST, released model signing & GUAC).
Previously: TensorFlow Security & OSS @ Google Research.
Previously: Haskell+differential privacy+ML @ LeapYear.

Last posted ▼ 1 day ago
Posts 57
Followers 13
Following 29
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 ▼ 1 day ago
Posts 404
Followers 44
Following 141

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 2,688
Followers 1,962
Following 694
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,943
Followers 511
Following 832
Header Image

PureScript Haskell Csound and some math teaching. Universal Basic Income evangelist

Last posted ▼ 1 day ago
Posts 8
Followers 3
Following 16
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 ▼ 1 day ago
Posts 177
Followers 36
Following 121
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,692
Followers 235
Following 66
Last posted ▼ 1 day ago
Posts 3,780
Followers 1,683
Following 2,593

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 136
Following 230
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 6
Followers 8
Following 29
Header Image

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

Last posted ▼ 1 day ago
Posts 118
Followers 13
Following 26