logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
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 7,733
Followers 1,512
Following 1,040
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 ▼ 1 day ago
Posts 78
Followers 353
Following 565
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ 1 day ago
Posts 2,078
Followers 262
Following 916
Header Image

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

Last posted ▼ 1 day ago
Posts 1,089
Followers 99
Following 204
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted ▼ 1 day ago
Posts 7,726
Followers 226
Following 685
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted ▼ 1 day ago
Posts 4,032
Followers 413
Following 540
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,598
Followers 87
Following 64
Header Image

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

Last posted ▼ 2 days ago
Posts 210
Followers 296
Following 66
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 ▼ 2 days ago
Posts 1,567
Followers 551
Following 1,047
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 793
Followers 379
Following 140
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 a member of the GHC Steering Committee and the Core Libraries Committee.

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 265
Followers 72
Following 97
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 734
Followers 196
Following 169

Displaced Philly boy. Threat hunter. Educator. , rust, python haskell, and javascript. advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made wtfbins.wtf. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

Last posted ▼ 2 days ago
Posts 9,811
Followers 7,659
Following 883
Header Image

I'm interested in:
- and everything related
- programming languages that take some idea to a logical conclusion, like , or
- category theory and therefore
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and
- rational fiction

Dreaming of selfhosting something

I use , home-manager and nix-on-droid btw

Last posted ▼ 2 days ago
Posts 345
Followers 3
Following 39

Professional freelance programmer (, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted ▼ 3 days ago
Posts 9,675
Followers 640
Following 678
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 ▼ 3 days ago
Posts 620
Followers -1
Following 39
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic kubernetes AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted ▼ 3 days ago
Posts 491
Followers 75
Following 131
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted ▼ 3 days ago
Posts 10,911
Followers 486
Following 336
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,477
Followers 220
Following 246
Header Image

CTO at @bebop and satoshi-connect.ch.

I’m curious and passionate about free software, functional programming languages, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems and low-power wireless technologies.

In my free time, I contribute to open source projects, participate in activities in the further of mass blockchain adoption or study RF signals around me.

PS: I *really* like trains :)

Last posted ▼ 3 days ago
Posts 358
Followers 36
Following 114
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 ▼ 3 days ago
Posts 7,855
Followers 465
Following 164