logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,923
Followers 261
Following 917
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 1,748
Followers 49
Following 62
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 22,378
Followers 374
Following 348
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,566
Followers 403
Following 318
Last posted ▼ 1 day ago
Posts 3,692
Followers 1,661
Following 2,591
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

Last posted ▼ 1 day ago
Posts 7,912
Followers 472
Following 166
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 54
Followers 18
Following 39
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Also learning Japanese 🇯🇵

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted ▼ 1 day ago
Posts 2,299
Followers 1,212
Following 536
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

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,476
Followers 503
Following 828

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 32
Followers 129
Following 222
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted ▼ 1 day ago
Posts 1,532
Followers 217
Following 250
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 day ago
Posts 39
Followers 430
Following 75
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 9,190
Followers 232
Following 66

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,117
Followers 8,418
Following 904
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 714
Followers -1
Following 41
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,982
Followers 194
Following 243
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 43
Followers 18
Following 29
Header Image

Haskell. Gopher.

Last posted ▼ 1 day ago
Posts 1,347
Followers 366
Following 146
Header Image
Nadia/Надя/नाडिया/娜迪亚/ نادية
@[email protected]

telix | frankenstein/organ-bank | surd | peirce
innert Linux: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t

Last posted ▼ 1 day ago
Posts 191
Followers 28
Following 182
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,146
Followers 1,541
Following 1,045

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,004
Followers 657
Following 702