logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted 4 days ago
Posts 631
Followers 115
Following ▼ 2
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,623
Followers 406
Following ▼ 2
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 1 week ago
Posts 394
Followers 44
Following ▼ 2
Header Image

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 4 days ago
Posts 80
Followers 375
Following ▼ 2
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 5 days ago
Posts 2,317
Followers 1,213
Following ▼ 2
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 1 week ago
Posts 222
Followers -1
Following ▼ 2
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, haskell 🙃, learning rust, pop os contributions, modding cloverpit, modding bannerlord, uhhh other stuff i prolly forgot

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted 4 days ago
Posts 290
Followers 14
Following ▼ 2
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 8,219
Followers 1,548
Following ▼ 2
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts 1,375
Followers 370
Following ▼ 2
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 980
Followers 453
Following ▼ 2
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 1 day ago
Posts 1,538
Followers 217
Following ▼ 1
Header Image

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

Last posted 3 days ago
Posts 118
Followers 11
Following ▼ 1
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 2 weeks ago
Posts 1,587
Followers 201
Following ▼ 1
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 week ago
Posts 128
Followers 12
Following ▼ 1
Header Image
Compiler Explorer
@[email protected]

I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

Last posted 2 weeks ago
Posts 148
Followers 1,648
Following ▼ 1
Header Image

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

Last posted 6 days ago
Posts 893
Followers 65
Following ▼ 1
Josep Bigorra (jjba23)
@[email protected]

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted 2 weeks ago
Posts 171
Followers 67
Following ▼ 1
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts 1,886
Followers 262
Following ▼ 1
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

Last posted 1 week ago
Posts 358
Followers 539
Following ▼ 1
Header Image

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ , , , , , -pilled—i just like programming languages okay

Last posted 1 day ago
Posts 731
Followers -1
Following ▼ 1
Header Image

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

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted 1 day ago
Posts 9,275
Followers 232
Following ▼ 1