logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

Last posted ▼ 1 day ago
Posts 916
Followers 399
Following 144
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 1,103
Followers 348
Following 170
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 3,540
Followers 402
Following 318
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted ▼ 1 day ago
Posts 2,645
Followers 5,120
Following 11
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 1 day ago
Posts 1,978
Followers 192
Following 242
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,323
Followers 309
Following 194
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 ▼ 1 day ago
Posts 226
Followers 162
Following 435
Header Image

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

I also *really* like trains :)

Last posted ▼ 2 days ago
Posts 388
Followers 43
Following 129
Header Image
Frédéric Menou
@[email protected]

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

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted ▼ 2 days ago
Posts 1,514
Followers 217
Following 250
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 ▼ 2 days ago
Posts 7,910
Followers 471
Following 166
Header Image

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

I spend most of my time coding and am a member of the Haskell team and 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 ▼ 2 days ago
Posts 1,798
Followers 512
Following 477
Header Image
Anthony Cowley
@[email protected]

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

Last posted ▼ 2 days ago
Posts 3,061
Followers 594
Following 376
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 ▼ 2 days ago
Posts 6,422
Followers 502
Following 828
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 2 days ago
Posts 732
Followers 273
Following 222
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 ▼ 2 days ago
Posts 1,667
Followers 87
Following 67
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.

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 15
Followers 110
Following 137
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted ▼ 3 days ago
Posts 622
Followers 114
Following 260
Header Image

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

Last posted ▼ 3 days ago
Posts 1,177
Followers 102
Following 211
Header Image

writing in haskell for food

Last posted ▼ 3 days ago
Posts 413
Followers 43
Following 60
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted ▼ 4 days ago
Posts 180
Followers 20
Following 104
Header Image
Ronaldd Pinho
@[email protected]

🇧🇷 Just a Amazonian lad, with no money in the bank or important parents and, coming from the countryside.

Computer scientist, operations researcher, programmer, , socialist and football lover.

Last posted ▼ 4 days ago
Posts 105
Followers 6
Following 72