logo FEDIDEVS

FEDIDEVS

40 of the best Haskell accounts on Mastodon.

Best haskell Haskell
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,580
Followers 164
Following ▼ 1
Last posted 1 day ago
Posts 2,781
Followers 1,504
Following ▼ 1
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 2 days ago
Posts 2,058
Followers 1,162
Following ▼ 0
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted 1 month ago
Posts 179
Followers 125
Following ▼ 0
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,541
Followers 222
Following ▼ 0
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 7 months ago
Posts 2,937
Followers 261
Following ▼ 0
Header Image

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

Last posted 5 months ago
Posts 3,777
Followers 1,362
Following ▼ 0
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,075
Followers 414
Following ▼ 0
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 3 months ago
Posts 245
Followers 177
Following ▼ 0
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 6 days ago
Posts 2,110
Followers 1,895
Following ▼ 0
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 1 day ago
Posts 10,583
Followers 615
Following ▼ 0
Julian Stecklina
@[email protected]

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

Last posted 1 month ago
Posts 184
Followers 331
Following ▼ 0
Last posted 1 week ago
Posts 2,981
Followers 1,237
Following ▼ 0
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,850
Followers 366
Following ▼ 0
Nicholas Boyd Isacsson
@[email protected]

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

Last posted 1 week ago
Posts 832
Followers 305
Following ▼ 0
Header Image
Xavier Van de Woestyne
@[email protected]

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,177
Followers 269
Following ▼ 0
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 2 days ago
Posts 897
Followers 312
Following ▼ 0
Header Image
Cass Alexandru
@[email protected]

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 1 day ago
Posts 590
Followers 170
Following ▼ 0
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,247
Followers 1,360
Following ▼ 0
Header Image
Ollie Charles
@[email protected]

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

Last posted 7 months ago
Posts 106
Followers 680
Following ▼ 0