logo FEDIDEVS

FEDIDEVS

127 awesome Haskell accounts on Mastodon.

haskell Haskell

Displaced Philly boy. Threat hunter. Streamer. Educator. , rust, python haskell, and javascript. advocate. Runs @thetaggartinstitute. Made wtfbins.wtf. Co-creator of github.com/mttaggart/Offensive. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted Less than a day ago
Posts 7,416
Followers ▼ 6,945
Following 854
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 3 days ago
Posts 2,353
Followers ▼ 4,913
Following 11
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last posted 4 days ago
Posts 2,135
Followers ▼ 1,899
Following 673
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted 1 month ago
Posts 2,214
Followers ▼ 1,672
Following 21
Last posted 1 day ago
Posts 2,880
Followers ▼ 1,524
Following 2,437
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 2 weeks ago
Posts 130
Followers ▼ 1,512
Following 39
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 6,541
Followers ▼ 1,389
Following 1,039
Header Image

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d.

Last posted 6 months ago
Posts 3,777
Followers ▼ 1,362
Following 430
Header Image

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

Last posted 3 months ago
Posts 8,884
Followers ▼ 1,250
Following 181
Last posted 1 week ago
Posts 2,991
Followers ▼ 1,240
Following 365
Header Image

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

🌍 ,

Last posted 1 day ago
Posts 30
Followers ▼ 1,208
Following 354
Jonathan Carroll
@[email protected]

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

rstats haskell julia rust apl python bash

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted 3 days ago
Posts 2,080
Followers ▼ 1,164
Following 519
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted Less than a day ago
Posts 302
Followers ▼ 624
Following 1,292
Header Image
Anthony Cowley
@[email protected]

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

Last posted 1 day ago
Posts 2,899
Followers ▼ 589
Following 373
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 day ago
Posts 1,440
Followers ▼ 534
Following 1,035
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last posted 3 weeks ago
Posts 295
Followers ▼ 511
Following 327
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 weeks ago
Posts 1,772
Followers ▼ 494
Following 475
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 4 days ago
Posts 7,707
Followers ▼ 468
Following 161
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 2 weeks ago
Posts 584
Followers ▼ 467
Following 197
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted 1 day ago
Posts 5,428
Followers ▼ 467
Following 259