logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

Software developer, , , , , enthusiast; contributor to alexn.org, monix.io, typelevel.org.

🌍 ,

Last posted 1 day ago
Posts 75
Followers ▼ 3
Following 350

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of ocaml for the ecosystem! ocaml_hug

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 2 days ago
Posts 350
Followers ▼ 3
Following 1,009
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.
Working for the French government. Opinions expressed are solely my own and do not express the views or opinions of my employer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted 2 days ago
Posts 7
Followers ▼ 2
Following 142
Header Image

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Last posted 2 weeks ago
Posts 43
Followers ▼ 2
Following 76
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts 1,457
Followers ▼ 2
Following 150
Header Image
There is No Magic
@[email protected]

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

Last posted 2 days ago
Posts 249
Followers ▼ 2
Following 448
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts 1,788
Followers ▼ 2
Following 923
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on github.com/google/googlesql

If you want to follow me, please make sure your profile has some info that helps me learn about you.

Last posted 1 day ago
Posts 6,856
Followers ▼ 2
Following 837
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 Less than a day ago
Posts 3,741
Followers ▼ 2
Following 323
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 4 days ago
Posts 1,345
Followers ▼ 2
Following 197
Header Image
Anthony Cowley
@[email protected]

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

Last posted 3 days ago
Posts 3,091
Followers ▼ 1
Following 375
Header Image
Marko Dimjašević
@[email protected]

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Last posted 4 days ago
Posts 1,748
Followers ▼ 1
Following 72
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted 2 days ago
Posts 1,258
Followers ▼ 1
Following 216
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted 5 days ago
Posts 642
Followers ▼ 1
Following 265
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,617
Followers ▼ 1
Following 201
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted 5 days ago
Posts 294
Followers ▼ 1
Following 76
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted 1 day ago
Posts 158
Followers ▼ 1
Following 41
Header Image

Indoor European. Knows . Writes (in or or or or ). Not a fan of racism, sexism, transphobia, or bigotry.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted Less than a day ago
Posts 9,584
Followers ▼ 1
Following 66
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted 4 days ago
Posts 932
Followers ▼ 1
Following 194
Header Image
Emilio J. Gallego Arias
@[email protected]

Research Engineer @ Lean FRO.

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

Last posted 2 weeks ago
Posts 11
Followers ▼ 1
Following 53
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 1 day ago
Posts 23,554
Followers ▼ 1
Following 348