logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

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

🌍 ,

Last posted 1 week ago
Posts 94
Followers 1,249
Following ▼ 1
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted 3 days ago
Posts 668
Followers 115
Following ▼ 1
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 219
Followers 60
Following ▼ 1
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 2 days ago
Posts 7,975
Followers 458
Following ▼ 1

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 2 days ago
Posts 355
Followers 362
Following ▼ 0
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 2 weeks ago
Posts 776
Followers -1
Following ▼ 0
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 4 months ago
Posts 208
Followers 343
Following ▼ 0

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,280
Followers 676
Following ▼ 0

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 2 days ago
Posts 12,115
Followers 8,807
Following ▼ 0
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic kubernetes AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted 3 weeks ago
Posts 507
Followers 73
Following ▼ 0
Header Image
Snapkitty Sledgehammer
@[email protected]

Independent researcher in formal methods, sovereign AI systems, and reproducible computing. Building verified agentic infrastructure with Lean 4, Haskell, Rust, Prolog, and C. Publishing open research, formal proofs, and defensive prior art. Evidence over hype.

Last posted 2 weeks ago
Posts 3
Followers 0
Following ▼ 0
Josep Bigorra (jjba23)
@[email protected]

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted 2 months ago
Posts 173
Followers 70
Following ▼ 0
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted 2 months ago
Posts 188
Followers 128
Following ▼ 0
Header Image

Haskell, Elm, Rust

Last posted 6 months ago
Posts 3
Followers 1
Following ▼ 0
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted 3 days ago
Posts 11,534
Followers 515
Following ▼ 0
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 6 months ago
Posts 77
Followers 9
Following ▼ 0

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted 3 months ago
Posts 424
Followers 14
Following ▼ 0
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

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

Last posted 3 weeks ago
Posts 164
Followers 13
Following ▼ 0
Header Image

Interessiert an:

-
-
-
-
-
-
-
- (Natural Language Processing)
-

I am

Last posted 2 months ago
Posts 10
Followers 1
Following ▼ 0
Header Image

Ruby and JS in the streets, Haskell and friends between the sheets.

Last posted 4 months ago
Posts 36
Followers 18
Following ▼ 0
Header Image
Vincent Zee 徐
@[email protected]

Programmer interested in and many more! Currently learning . User of . Collector of books!

Also into and

Last posted 7 months ago
Posts 371
Followers 107
Following ▼ 0