logo FEDIDEVS

FEDIDEVS

70 awesome Haskell accounts on Mastodon that posted recently.

Recently posted 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,689
Followers ▼ 6,548
Following 848
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 1 day ago
Posts 2,221
Followers ▼ 4,806
Following 10
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted 2 days ago
Posts 2,137
Followers ▼ 1,634
Following 21
Last posted 1 day ago
Posts 2,560
Followers ▼ 1,471
Following 2,284
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,712
Followers ▼ 1,323
Following 1,041
Header Image

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

Last posted 3 days ago
Posts 8,882
Followers ▼ 1,248
Following 181
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 1,988
Followers ▼ 1,128
Following 519
Header Image

> git checkout --no-overlay --
if only ..

all content CC BY-SA 4.0

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
,
DP - shamelessly stolen from a an fp video i watched

Last posted 1 day ago
Posts 9,953
Followers ▼ 593
Following 194
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,383
Followers ▼ 582
Following 1,176
Header Image
Anthony Cowley
@[email protected]

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

Last posted 5 days ago
Posts 2,819
Followers ▼ 572
Following 376
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,323
Followers ▼ 529
Following 1,037
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 2 days ago
Posts 7,641
Followers ▼ 463
Following 158
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 564
Followers ▼ 444
Following 195
Header Image

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 4,251
Followers ▼ 430
Following 259
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,466
Followers ▼ 398
Following 299
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 3,932
Followers ▼ 398
Following 787
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 1 day ago
Posts 3,183
Followers ▼ 362
Following 463
Header Image

Staff Software Engineer working with , and Functional Programming advocate through and - is the word.

all my content have a license CC BY-NC-SA 4.0

Last posted 2 days ago
Posts 2,701
Followers ▼ 358
Following 276
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 1 day ago
Posts 2,449
Followers ▼ 349
Following 876
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 2 days ago
Posts 884
Followers ▼ 310
Following 166