logo FEDIDEVS

FEDIDEVS

22 of the best Haskell accounts on Mastodon that posted recently.

Best Recently posted haskell Haskell
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,420
Followers ▼ 6
Following 378
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,043
Followers ▼ 3
Following 248
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 1 day ago
Posts 7,628
Followers ▼ 3
Following 158
Last posted 1 day ago
Posts 2,921
Followers ▼ 2
Following 360
Header Image

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 1 day ago
Posts 887
Followers ▼ 2
Following 166
Header Image

Computational archaeologist & student at MPI EVA. , ,

Last posted 1 day ago
Posts 1,450
Followers ▼ 2
Following 205
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 2 days ago
Posts 2,088
Followers ▼ 2
Following 673
Header Image

Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.

Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23

Last posted 1 day ago
Posts 1,314
Followers ▼ 1
Following 192

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 4,833
Followers ▼ 1
Following 255
Header Image

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted 1 day ago
Posts 1,257
Followers ▼ 1
Following 244
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 9,798
Followers ▼ 1
Following 190
Nicholas Boyd Isacsson
@nichobi@social.spejset.org

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

Last posted 2 days ago
Posts 806
Followers ▼ 1
Following 504
Header Image

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,613
Followers ▼ 1
Following 1,042
Header Image
Cass Alexandru
@cxandru@types.pl

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes Generic Programming Language Acquisition New Masculinities  Friend  Yin  🇪🇺an

Last posted Less than a day ago
Posts 548
Followers ▼ 1
Following 150
Header Image
Xavier Van de Woestyne
@xvw@merveilles.town

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted 1 day ago
Posts 1,141
Followers ▼ 0
Following 166
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 days ago
Posts 3,160
Followers ▼ 0
Following 462
Header Image
Seph‽ 🌳 🐦 🐟 🔔
@melivia@queer.party

Seph

Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .
🏴󠁧󠁢󠁳󠁣󠁴󠁿 🇳🇿 🏴󠁧󠁢󠁷󠁬󠁳󠁿

If you don’t have pronouns in your bio, I probably won’t approve your follow request.

Last posted Less than a day ago
Posts 105
Followers ▼ 0
Following 159
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 Less than a day ago
Posts 8,360
Followers ▼ 0
Following 294
Header Image
Boyd Stephen Smith Jr.
@boydstephensmithjr@hachyderm.io

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 14,757
Followers ▼ -1
Following 308
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,670
Followers ▼ -1
Following 273