logo FEDIDEVS

FEDIDEVS

112 awesome Haskell developers on Mastodon.

Human 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 3,023
Followers ▼ 5,440
Following 829
Header Image
Bartosz Milewski
@[email protected]

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

Last posted 1 day ago
Posts 1,829
Followers ▼ 4,618
Following 9
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 2 days ago
Posts 1,945
Followers ▼ 1,855
Following 676
Last posted 1 day ago
Posts 2,213
Followers ▼ 1,377
Following 2,090
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 months ago
Posts 103
Followers ▼ 1,302
Following 39
Header Image

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

Last posted 1 month ago
Posts 8,890
Followers ▼ 1,236
Following 181
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 4,560
Followers ▼ 1,217
Following 1,015
Header Image

FOSS person. for the , CPC, , and other shiny things (PC and !).

Also , , and , and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Last posted 1 month ago
Posts 995
Followers ▼ 816
Following 303
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in , , , & . They/them.

()

Last posted 1 day ago
Posts 1,712
Followers ▼ 716
Following 612
Header Image
Ollie Charles
@[email protected]

Haskell programmer. Also like graphics programming, electronic music, jazz, metal, cycling and weightlifting. ocharles.org.uk

Last posted 5 days ago
Posts 106
Followers ▼ 680
Following 382
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,692
Followers ▼ 561
Following 378
Header Image

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

Last posted 2 days ago
Posts 971
Followers ▼ 500
Following 976
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 4 months ago
Posts 276
Followers ▼ 499
Following 314
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding , , , am a co-maintainer of nixpkgs.haskellPackages and a member of 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 2 days ago
Posts 1,734
Followers ▼ 459
Following 458
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 3 days ago
Posts 7,539
Followers ▼ 455
Following 157
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 days ago
Posts 531
Followers ▼ 411
Following 190
Header Image
Last posted 1 day ago
Posts 1,549
Followers ▼ 390
Following 208
Header Image
Vitaly Bragilevsky
@[email protected]

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted 3 months ago
Posts 24
Followers ▼ 371
Following 58
Header Image

Long time software developer.

Working on low level systems software and high level languages.

Worried about the rise of fascism. Worried more about inhumane murderers just km from me, who murdered 1500 people in cold blood, in 1 day.

A proponent of cancel culture, wokism and lots of virtue signaling!

Last posted 2 weeks ago
Posts 3,060
Followers ▼ 362
Following 885
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

Last posted Less than a day ago
Posts 7,543
Followers ▼ 359
Following 275