logo FEDIDEVS

FEDIDEVS

56 awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Last posted 1 day ago
Posts ▼ 1,522
Followers 542
Following 1,040
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,490
Followers 185
Following 194
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 1 day ago
Posts ▼ 1,442
Followers 83
Following 53
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 3 days ago
Posts ▼ 1,378
Followers 213
Following 242
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old trans enby. A cat furry blobcat, solarpunk 🌱, and a lefty anarchist. Also likes pats, flirts, and hugs blobcataww blobfoxfloofcute

This silly kitty is a pansexual pansexual_flag blobcatblep

I love programming and on .

My posts/boosts consist of tech, gaming, solarpunk, nature, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted 1 day ago
Posts ▼ 1,258
Followers 136
Following 183
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,217
Followers 285
Following 180
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 ▼ 943
Followers 317
Following 164
Header Image
Zoe : Void -> a
@[email protected]

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Last posted 1 day ago
Posts ▼ 802
Followers 42
Following 49

I'm trans pan married woman and usually I'm the . And (mostly and ) ;)
But really, most of the time I live inside my (technically these days) and coding.

heart_trans heart_pan opensource neovim vim golang rust kubernetes python haskell

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)

Last posted 6 days ago
Posts ▼ 781
Followers 130
Following 60
Header Image

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

Last posted 1 day ago
Posts ▼ 755
Followers 93
Following 183
Header Image

Multidisciplinary nerd. Aotearoan–Scots. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .

Last posted 1 day ago
Posts ▼ 668
Followers 198
Following 178
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 2 days ago
Posts ▼ 636
Followers 173
Following 156
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 ▼ 568
Followers 332
Following 119
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Big fan of round, hollow things. (I guess they don't even really need to be round)

Trying to differentiate a form (not going well).

Haskeller by trade.

Last posted 1 day ago
Posts ▼ 545
Followers 103
Following 241
Header Image

is my day job.

are the other things I like to do.

I enjoy listening to ; reading non-fiction (, , ), , and ; and watching quirky tv shows.

Last posted 4 days ago
Posts ▼ 427
Followers 103
Following 579
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted 1 day ago
Posts ▼ 411
Followers 652
Following 1,331
Header Image
Sebastian Wagner
@[email protected]

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Last posted 2 days ago
Posts ▼ 375
Followers 100
Following 297

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted 1 day ago
Posts ▼ 358
Followers 11
Following 101
Header Image
Just "James" | Nothing
@[email protected]

An ad-hoc, informally-specified, bug-ridden, slow implementation of half of a software engineer. Author of MaybeJustJames/yaml (), phylio (), Super, and MMLigner. Maintainer of Zephyr (). Lover of programming. Australian living in the Netherlands.

Interested in typed

Last posted 6 days ago
Posts ▼ 358
Followers 83
Following 298
Header Image

iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.

Also @abizern.dev on Bluesky

Last posted 3 days ago
Posts ▼ 343
Followers 90
Following 155