logo FEDIDEVS

FEDIDEVS

59 awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image
Decenta Lyzed
@[email protected]
Last posted ▼ 2 days ago
Posts 239
Followers 12
Following 49
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 630
Followers 173
Following 154
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 ▼ 2 days ago
Posts 6,731
Followers 1,406
Following 1,039
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted ▼ 2 days ago
Posts 5,603
Followers 473
Following 278
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 ▼ 2 days ago
Posts 709
Followers 36
Following 45
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 ▼ 2 days ago
Posts 164
Followers 157
Following 412
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last posted ▼ 2 days ago
Posts 303
Followers 522
Following 350
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 ▼ 2 days ago
Posts 4,905
Followers 451
Following 801
Header Image

Free software enthusiast currently working at Epitech Toulouse.

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 43
Followers 88
Following 116
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,510
Followers 540
Following 1,043
Header Image

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

Last posted ▼ 2 days ago
Posts 6,908
Followers 197
Following 629
Last posted ▼ 2 days ago
Posts 2,951
Followers 1,541
Following 2,455
Header Image

Indoor European. I know . I write (in or or or or ).
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted ▼ 2 days ago
Posts 8,028
Followers 213
Following 61

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 :)

Last posted ▼ 3 days ago
Posts 775
Followers 127
Following 60
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 ▼ 3 days ago
Posts 1,471
Followers 183
Following 194
Header Image
Axman6 | 🇦🇺
@[email protected]

Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
🦋bsky.app/profile/axman6.au

Last posted ▼ 3 days ago
Posts 473
Followers 160
Following 372
Header Image

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

Last posted ▼ 3 days ago
Posts 732
Followers 94
Following 180
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted ▼ 3 days ago
Posts 193
Followers 334
Following 183
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 ▼ 3 days ago
Posts 2,932
Followers 374
Following 295
Header Image

Software developer, , , , , enthusiast; contributor to alexn.org, monix.io, typelevel.org.

🌍 ,

Last posted ▼ 3 days ago
Posts 63
Followers 1,209
Following 356