logo FEDIDEVS

FEDIDEVS

38 of the best Haskell accounts on Mastodon.

Best haskell Haskell
Last posted 1 day ago
Posts 2,783
Followers 1,505
Following ▼ 2
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,544
Followers 223
Following ▼ 1

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 Less than a day ago
Posts 5,669
Followers 270
Following ▼ 1
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 2 days ago
Posts 3,473
Followers 380
Following ▼ 1
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,602
Followers 615
Following ▼ 1
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

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 9,082
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 1 week ago
Posts 2,110
Followers 1,895
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 2 days 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
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 2 days ago
Posts 1,580
Followers 164
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 2 days ago
Posts 1,177
Followers 269
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 591
Followers 170
Following ▼ 0
洪 民憙 (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 6 months ago
Posts 1,917
Followers 759
Following ▼ 0
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,242
Followers 463
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 3 days ago
Posts 897
Followers 312
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,250
Followers 1,360
Following ▼ 0