logo FEDIDEVS

FEDIDEVS

29 of the best Haskell accounts on Mastodon.

Best 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 ▼ 1,184
Followers 174
Following 261
洪 民憙 (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 Less than a day ago
Posts ▼ 550
Followers 604
Following 577
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 ▼ 428
Followers 353
Following 263
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 ▼ 222
Followers 1,142
Following 992
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 Less than a day ago
Posts ▼ 193
Followers 320
Following 407
jailandrade 🍉
@[email protected]

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 ,

very interested in languages like , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted Less than a day ago
Posts ▼ 142
Followers 157
Following 192
Header Image

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

Last posted 2 days ago
Posts ▼ 74
Followers 544
Following 372
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 ▼ 71
Followers 114
Following 162
Last posted 1 day ago
Posts ▼ 69
Followers 1,329
Following 2,045
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 ▼ 60
Followers 451
Following 160
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 ▼ 43
Followers 189
Following 346
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 ▼ 40
Followers 251
Following 150
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 4 days ago
Posts ▼ 35
Followers 1,818
Following 666
Header Image

Punjabi-Scottish-American husband and father of two, Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 ex-{Microsoft, Google, Facebook} living in Los Altos, California

Last posted 2 weeks ago
Posts ▼ 21
Followers 330
Following 216
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding , , , am a co-maintainer of nixpkgs.haskellPackages and a member of the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted 3 days ago
Posts ▼ 17
Followers 454
Following 456
Header Image
Frédéric Menou
@[email protected]

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

Last posted 1 day ago
Posts ▼ 15
Followers 196
Following 228
Header Image
Julian Stecklina
@[email protected]

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

Last posted 2 days ago
Posts ▼ 14
Followers 275
Following 163
Header Image

FOSS person. for the , CPC, , and other shiny things (PC and !).

Also , , and , and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Last posted 1 day ago
Posts ▼ 12
Followers 875
Following 310
Header Image
Carlos Saltos
@[email protected]

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of Talenteca.com
For geeks -> @csaltos

Last posted 1 day ago
Posts ▼ 7
Followers 129
Following 188