logo FEDIDEVS

FEDIDEVS

56 awesome Haskell developers on Mastodon that posted recently.

Human Recently posted haskell Haskell
Last posted 1 day ago
Posts 2,823
Followers 1,512
Following ▼ 2,405
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 201
Followers 608
Following ▼ 1,272
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,361
Followers 1,368
Following ▼ 1,039
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 2 days ago
Posts 1,435
Followers 533
Following ▼ 1,036

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 1 day ago
Posts 270
Followers 335
Following ▼ 972
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts 1,594
Followers 258
Following ▼ 889
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Traditional Unix editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- I might be a luddite - I don't favour all tech or all vendors.

Last posted 2 days ago
Posts 2,574
Followers 362
Following ▼ 884

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 7,072
Followers 6,870
Following ▼ 850
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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 4,622
Followers 437
Following ▼ 791
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,128
Followers 1,897
Following ▼ 673
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted 1 day ago
Posts 6,639
Followers 184
Following ▼ 615
Header Image

is my day job.

are the other things I like to do.

I enjoy listening to ; reading non-fiction (, , ), , and ; and watching quirky tv shows.

Last posted 5 days ago
Posts 426
Followers 105
Following ▼ 578
Nicholas Boyd Isacsson
@[email protected]

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

Last posted 6 days ago
Posts 833
Followers 308
Following ▼ 521
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 2 days ago
Posts 2,063
Followers 1,160
Following ▼ 519
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted 2 days ago
Posts 3,562
Followers 390
Following ▼ 491
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 4 days ago
Posts 1,772
Followers 494
Following ▼ 475
Header Image
There is No Magic
@[email protected]

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

Last posted 1 day ago
Posts 151
Followers 155
Following ▼ 411
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,556
Followers 224
Following ▼ 394
Header Image
Vincent Zee 徐
@[email protected]

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

Also into and

Last posted 2 days ago
Posts 363
Followers 107
Following ▼ 350
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 days ago
Posts 295
Followers 511
Following ▼ 327