logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell

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 1 day ago
Posts 9,599
Followers ▼ 8
Following 879
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem from 🇲🇾. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and . Big fan of .

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted 1 day ago
Posts 2,539
Followers ▼ 4
Following 354
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 7,629
Followers ▼ 2
Following 1,041
Header Image

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted Less than a day ago
Posts 10,082
Followers ▼ 2
Following 368
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 20,490
Followers ▼ 2
Following 336
Last posted 1 day ago
Posts 3,487
Followers ▼ 1
Following 2,545
Header Image

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

Last posted 1 day ago
Posts 7,633
Followers ▼ 1
Following 673
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 779
Followers ▼ 1
Following 139
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,390
Followers ▼ 1
Following 59
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

feel free to follow request!

Last posted 1 day ago
Posts 591
Followers ▼ 0
Following 38
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 10,757
Followers ▼ 0
Following 333
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

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

Last posted 2 days ago
Posts 112
Followers ▼ 0
Following 34

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of ocaml for the ecosystem! ocaml_hug

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 4 days ago
Posts 326
Followers ▼ 0
Following 1,000

Professional freelance programmer (, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted 2 days ago
Posts 9,648
Followers ▼ 0
Following 672
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 3 days ago
Posts 2,222
Followers ▼ 0
Following 533

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 3 days ago
Posts 51
Followers ▼ 0
Following 209
Header Image

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

🌍 ,

Last posted 2 days ago
Posts 50
Followers ▼ 0
Following 351
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,223
Followers ▼ 0
Following 313
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 2,834
Followers ▼ 0
Following 421
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,851
Followers ▼ 0
Following 231
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 Less than a day ago
Posts 8,770
Followers ▼ 0
Following 61