logo FEDIDEVS

FEDIDEVS

124 awesome Haskell accounts on Mastodon.

haskell Haskell
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 ▼ 1 day ago
Posts 1,786
Followers 510
Following 478
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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 5,403
Followers 478
Following 795

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 388
Followers 12
Following 103
Header Image

Queer; Posthumanist; Haskell Dev

Last posted ▼ 1 day ago
Posts 1
Followers 0
Following 5
Header Image

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

Last posted ▼ 1 day ago
Posts 671
Followers 57
Following 172
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted ▼ 2 days ago
Posts 591
Followers 109
Following 250

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted ▼ 2 days ago
Posts 17
Followers 97
Following 200
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and .

My posts/boosts consist of tech, solarpunk, 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 ▼ 2 days ago
Posts 2,058
Followers 231
Following 281
Header Image
Jaro Reinders
@[email protected]

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in .

I'm also a enthusiast, contributor, and member of the Core Libraries Committee (github.com/haskell/core-librar).

Other than that I'd like to play some guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 .

Last posted ▼ 2 days ago
Posts 229
Followers 70
Following 99
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted ▼ 2 days ago
Posts 16
Followers 13
Following 62

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 ▼ 2 days ago
Posts 802
Followers 135
Following 61
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 ▼ 2 days ago
Posts 706
Followers 361
Following 136
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Also learning Japanese 🇯🇵

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted ▼ 2 days ago
Posts 2,182
Followers 1,187
Following 525
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests:

Personal:

Last posted ▼ 2 days ago
Posts 177
Followers 53
Following 105
Header Image
nmeum 🔜 39c3
@[email protected]

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Last posted ▼ 2 days ago
Posts 91
Followers 330
Following 532
Header Image

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

Last posted ▼ 2 days ago
Posts 181
Followers -1
Following 173
Header Image

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

Last posted ▼ 2 days ago
Posts 153
Followers 19
Following 101
Header Image

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (, , , , , ) with focus on building privacy-cenetered applications and services.

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted ▼ 2 days ago
Posts 2,260
Followers 1,916
Following 682
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 2 days ago
Posts 1,776
Followers 181
Following 229
Header Image

Furry/otherkin/otherwise. I love journaling and meditation.
AI researcher, data scientist, computer hobbyist.
Game theory, category theory, agentic systems.
Python, Haskell, Scheme.

I saw the beads and colored eyes, trampled into the asphalt.
I will never believe in the change in the weather.

Last posted ▼ 2 days ago
Posts 55
Followers 5
Following 32