logo FEDIDEVS

FEDIDEVS

41 of the best Haskell accounts on Mastodon.

Best 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,414
Followers ▼ 6
Following 377
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 1 day ago
Posts 2,080
Followers ▼ 2
Following 673

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,824
Followers ▼ 1
Following 254
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 1 day ago
Posts 882
Followers ▼ 1
Following 166
Nicholas Boyd Isacsson
@[email protected]

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

Last posted 1 day ago
Posts 804
Followers ▼ 1
Following 504
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,303
Followers ▼ 1
Following 294
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,593
Followers ▼ 1
Following 1,042
Header Image
Seph‽ 🌳 🐦 🐟 🔔
@[email protected]

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 2 days ago
Posts 101
Followers ▼ 1
Following 159
Last posted 1 day ago
Posts 2,919
Followers ▼ 1
Following 362
Header Image

theoretical physicist @uniheidelberg + semiprofessional computer booper (I use NixOS btw)

, ,

I like cats 🐈

compsci things: linux rust (global state apologists dni) nixos flag_jbo
other things:

Last posted 1 week ago
Posts 245
Followers ▼ 0
Following 143
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in , , , & . They/them.

()

Last posted 3 months ago
Posts 1,917
Followers ▼ 0
Following 634
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,667
Followers ▼ 0
Following 271
Last posted 2 days ago
Posts 2,528
Followers ▼ 0
Following 2,265
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,770
Followers ▼ 0
Following 189
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 4 months ago
Posts 2,937
Followers ▼ 0
Following 126
Header Image
Ollie Charles
@[email protected]

Haskell programmer. Also like graphics programming, electronic music, jazz, metal, cycling and weightlifting. ocharles.org.uk

Last posted 4 months ago
Posts 106
Followers ▼ 0
Following 382
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 week ago
Posts 1,977
Followers ▼ 0
Following 518
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist & student at MPI EVA. , ,

Last posted 1 day ago
Posts 1,446
Followers ▼ 0
Following 205
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 2 weeks ago
Posts 181
Followers ▼ 0
Following 171
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 months ago
Posts 3,777
Followers ▼ 0
Following 430