{# noindex,nofollow on faceted slices: keeps near-duplicate pages out of the index and stops crawlers walking the facet cross-product from here. The only internal links on these pages are more facet links -- account cards point at external Mastodon profiles -- so nofollow costs no discovery. #}

logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell

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 Less than a day ago
Posts 12,972
Followers ▼ 9,052
Following 921
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted 4 days ago
Posts 2,913
Followers ▼ 5,331
Following 12

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 2 days ago
Posts 2,708
Followers ▼ 1,979
Following 694
Last posted 1 day ago
Posts 3,967
Followers ▼ 1,716
Following 2,623
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 9,144
Followers ▼ 1,678
Following 1,052
Header Image
Compiler Explorer
@[email protected]

I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

Last posted 1 month ago
Posts 150
Followers ▼ 1,675
Following 42
Header Image

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

🌍 ,

Last posted 2 days ago
Posts 103
Followers ▼ 1,253
Following 348
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 2 days ago
Posts 2,415
Followers ▼ 1,232
Following 539
Header Image

Hacker with a . Bass player and Musician. (Currently accepting students, online or on-site) antifa (he/his)

Last posted 1 day ago
Posts 9,033
Followers ▼ 1,174
Following 184

Professional freelance programmer (#python, , , ++, )
No to "AI" / LLMs.
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

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

Last posted 1 day ago
Posts 10,680
Followers ▼ 701
Following 723
Header Image
Anthony Cowley
@[email protected]

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted 2 weeks ago
Posts 3,112
Followers ▼ 611
Following 375
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 2 days ago
Posts 1,207
Followers ▼ 598
Following 162
Header Image

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Last posted 1 week ago
Posts 1,631
Followers ▼ 568
Following 1,053
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

Last posted 2 months ago
Posts 370
Followers ▼ 551
Following 380
Header Image

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

Last posted 1 week ago
Posts 605
Followers ▼ 537
Following 199
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 11,950
Followers ▼ 536
Following 346
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 7,402
Followers ▼ 529
Following 850
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 months ago
Posts 1,819
Followers ▼ 517
Following 471
Header Image
Stephan Schiffels
@[email protected]

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

Last posted 3 weeks ago
Posts 445
Followers ▼ 474
Following 530
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 month ago
Posts 53
Followers ▼ 469
Following 86
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 8,023
Followers ▼ 433
Following 166