logo FEDIDEVS

FEDIDEVS

63 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 ▼ 17,112
Followers 270
Following 326
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 Less than a day ago
Posts ▼ 10,562
Followers 615
Following 198
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 ▼ 9,073
Followers 414
Following 311
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 days ago
Posts ▼ 7,684
Followers 467
Following 161
Header Image

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

Last posted 1 day ago
Posts ▼ 7,557
Followers 202
Following 59

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 Less than a day ago
Posts ▼ 6,824
Followers 6,833
Following 850
Header Image

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

Last posted 1 day ago
Posts ▼ 6,566
Followers 180
Following 610
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,245
Followers 1,359
Following 1,041

Software Developer, currently creating websites to sell and sharing my experience doing it

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

love languages like , , , , etc

learning , , , , , , ,

I'm a , believer, , advocate

I want that you have a website. Se habla español.

Last posted 1 day ago
Posts ▼ 5,628
Followers 270
Following 151
Header Image

Slowly 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 ▼ 5,218
Followers 463
Following 246
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,546
Followers 428
Following 802
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,463
Followers 379
Following 484
Header Image
Anthony Cowley
@[email protected]

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

Last posted 2 days ago
Posts ▼ 2,877
Followers 583
Following 373
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 1 day ago
Posts ▼ 2,848
Followers 366
Following 293
Last posted 1 day ago
Posts ▼ 2,780
Followers 1,504
Following 2,384
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,552
Followers 359
Following 882
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,537
Followers 222
Following 390
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 2 days ago
Posts ▼ 2,341
Followers 4,878
Following 11
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 5 days ago
Posts ▼ 2,110
Followers 1,895
Following 672
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 1 day ago
Posts ▼ 2,058
Followers 1,161
Following 521