logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
Header Image

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Last posted 1 day ago
Posts 84
Followers 369
Following ▼ 6
Last posted 1 day ago
Posts 3,656
Followers 1,650
Following ▼ 6
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests:

Personal:

Last posted 1 week ago
Posts 206
Followers 60
Following ▼ 3
Header Image

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

Last posted 1 day ago
Posts 8,029
Followers 238
Following ▼ 3
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 21,848
Followers 366
Following ▼ 3
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted 1 day ago
Posts 27
Followers 109
Following ▼ 3
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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,342
Followers 503
Following ▼ 3

Displaced Philly boy. Threat hunter. Educator. , 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 10,647
Followers 8,099
Following ▼ 3
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 2 days ago
Posts 1,641
Followers 49
Following ▼ 2

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 9,878
Followers 652
Following ▼ 2
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 2 days ago
Posts 29
Followers 31
Following ▼ 1

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 86
Followers 127
Following ▼ 1
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 875
Followers 397
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 3 days ago
Posts 683
Followers -1
Following ▼ 1
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 3 days ago
Posts 1,797
Followers 513
Following ▼ 1
Header Image

Haskell. Gopher.

Last posted 2 days ago
Posts 1,340
Followers 361
Following ▼ 1
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted 2 days ago
Posts 873
Followers 65
Following ▼ 1
Header Image

Software developer, , , , , enthusiast; contributor to alexn.org, monix.io, typelevel.org.

🌍 ,

Last posted 1 week ago
Posts 43
Followers 1,249
Following ▼ 1
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,070
Followers 230
Following ▼ 1
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,954
Followers 188
Following ▼ 1
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted 5 days ago
Posts 279
Followers 14
Following ▼ 1