logo FEDIDEVS

FEDIDEVS

141 awesome Haskell accounts on Mastodon.

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 3 weeks ago
Posts ▼ 12,796
Followers 206
Following 292
Header Image

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

Last posted 4 weeks ago
Posts ▼ 8,884
Followers 1,235
Following 181
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

Last posted 3 weeks ago
Posts ▼ 8,605
Followers 575
Following 169
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 3 weeks ago
Posts ▼ 7,685
Followers 364
Following 280
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 weeks ago
Posts ▼ 7,559
Followers 455
Following 155
Header Image
Füsilier Breitlinger
@[email protected]

Indoor European. I know . I write (in or or or or ).

Last posted 3 weeks ago
Posts ▼ 6,397
Followers 179
Following 54
Header Image

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

Last posted 3 weeks ago
Posts ▼ 5,582
Followers 164
Following 535
Header Image

i make cool stuff!!

#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd

follow @ap.brid.gy if you're on bluesky!

Last posted 3 weeks ago
Posts ▼ 4,929
Followers 193
Following 182
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 3 weeks ago
Posts ▼ 4,828
Followers 1,253
Following 1,014
Efexor Zolpidem v_com
@[email protected]

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

Last posted 3 weeks ago
Posts ▼ 4,709
Followers 529
Following 1,099

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 , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted 2 days ago
Posts ▼ 4,093
Followers 201
Following 229

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 3 weeks ago
Posts ▼ 3,887
Followers 5,669
Following 828
Header Image

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d.

Last posted 2 weeks ago
Posts ▼ 3,679
Followers 1,353
Following 428
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 3 weeks ago
Posts ▼ 3,228
Followers 368
Following 742
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 months ago
Posts ▼ 3,060
Followers 362
Following 885
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 2 months ago
Posts ▼ 2,937
Followers 261
Following 126
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 3 weeks ago
Posts ▼ 2,918
Followers 347
Following 437
Header Image
Anthony Cowley
@[email protected]

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

Last posted 6 days ago
Posts ▼ 2,742
Followers 559
Following 378
Last posted 1 week ago
Posts ▼ 2,647
Followers 1,181
Following 331
Header Image

Writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a pixel art of a banana

Header is a Haskell wallpaper made by me.

Bluesky bridge: bsky.app/profile/drewsh.com

Last posted 3 weeks ago
Posts ▼ 2,583
Followers 391
Following 235