logo FEDIDEVS

FEDIDEVS

66 awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image
Boyd Stephen Smith Jr.
@[email protected]

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

Last posted Less than a day ago
Posts ▼ 202
Followers 232
Following 308

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 ▼ 147
Followers 298
Following 959

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 ▼ 107
Followers 6,463
Following 845
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 ▼ 92
Followers 389
Following 294
Header Image

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

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

Last posted Less than a day ago
Posts ▼ 84
Followers 592
Following 189
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 ▼ 83
Followers 1,322
Following 1,042
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts ▼ 52
Followers 259
Following 870
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 ▼ 52
Followers 572
Following 1,160
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 ▼ 49
Followers 427
Following 249
Header Image

Indoor European. I know . I write (in or or or or ). 100% OPSEC.

Last posted 1 day ago
Posts ▼ 42
Followers 193
Following 55
Header Image

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

Last posted 1 day ago
Posts ▼ 28
Followers 168
Following 573
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 ▼ 27
Followers 394
Following 774
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist & student at MPI EVA. , ,

Last posted 1 day ago
Posts ▼ 23
Followers 160
Following 205
Header Image
Marko Dimjašević
@[email protected]

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Last posted 1 day ago
Posts ▼ 17
Followers 83
Following 53
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 ▼ 16
Followers 361
Following 461
Last posted 1 day ago
Posts ▼ 15
Followers 1,226
Following 362
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted 2 days ago
Posts ▼ 15
Followers 1,616
Following 21
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 ▼ 15
Followers 521
Following 1,030

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 ▼ 14
Followers 246
Following 254
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted 1 day ago
Posts ▼ 14
Followers 89
Following 105