logo FEDIDEVS

FEDIDEVS

138 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 1 day ago
Posts 5,436
Followers ▼ 7
Following 845
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,414
Followers ▼ 6
Following 377

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 Less than a day ago
Posts 189
Followers ▼ 2
Following 959
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 1 day ago
Posts 2,080
Followers ▼ 2
Following 673

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 1 day ago
Posts 80
Followers ▼ 2
Following 163
Header Image
Manuel Bergler
@[email protected]

C++ developer by day, Haskell enthusiast by night.

Last posted 1 day ago
Posts 18
Followers ▼ 1
Following 160

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about , , , , , , and ,

also languages like , , , , .

love , ,

I'm a , believer, and advocate

Let's create the web we want today. Se habla español.

Last posted 1 day ago
Posts 4,824
Followers ▼ 1
Following 254
Efexor Zolpidem v_com
@[email protected]

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

Last posted 1 day ago
Posts 5,247
Followers ▼ 1
Following 1,160
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 1 day ago
Posts 8,303
Followers ▼ 1
Following 294
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 5,593
Followers ▼ 1
Following 1,042
Header Image
Seph‽ 🌳 🐦 🐟 🔔
@[email protected]

Seph

Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .
🏴󠁧󠁢󠁳󠁣󠁴󠁿 🇳🇿 🏴󠁧󠁢󠁷󠁬󠁳󠁿

If you don’t have pronouns in your bio, I probably won’t approve your follow request.

Last posted 2 days ago
Posts 101
Followers ▼ 1
Following 159
Header Image
Vincent Zee 徐
@[email protected]

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

Also into and

Last posted 2 days ago
Posts 328
Followers ▼ 1
Following 325
Header Image

Haskell, Nix, Purescript, Plutus, Zig, Rust. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
---
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

Last posted 1 day ago
Posts 332
Followers ▼ 1
Following 140
Last posted 1 day ago
Posts 2,919
Followers ▼ 1
Following 362
Nicholas Boyd Isacsson
@[email protected]

Half-Brit Swede living in Lund but working in Copenhagen.

Last posted 1 day ago
Posts 804
Followers ▼ 1
Following 504
Header Image
Patrik Jansson
@[email protected]

Computer scientist, hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted 1 day ago
Posts 882
Followers ▼ 1
Following 166
Header Image

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

Last posted 5 months ago
Posts 66
Followers ▼ 0
Following 168
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 1 month ago
Posts 29
Followers ▼ 0
Following 63
Header Image

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

Last posted 3 months ago
Posts 27
Followers ▼ 0
Following 72
Header Image
Simon Frankau
@[email protected]

SRE manager on Google Compute Engine (only speak for me), ex-quant dev. Fan of maths, Haskell, Rust and retrocomputing. London, UK. CS PhD. Fuck cancer.

Available on Twitter while stocks last.

Last posted 4 months ago
Posts 2,937
Followers ▼ 0
Following 126