logo FEDIDEVS

FEDIDEVS

58 awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
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 ▼ 1 day ago
Posts 295
Followers 511
Following 327
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 494
Followers 306
Following 110
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 4,615
Followers 437
Following 790
Header Image

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

Last posted ▼ 1 day ago
Posts 264
Followers 27
Following 75
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 ▼ 1 day ago
Posts 25
Followers 83
Following 108
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,434
Followers 533
Following 1,036
Header Image

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

Last posted ▼ 1 day ago
Posts 697
Followers 92
Following 172
Header Image

writing in haskell for food

Last posted ▼ 1 day ago
Posts 332
Followers 34
Following 52
Header Image

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

Last posted ▼ 1 day ago
Posts 6,637
Followers 184
Following 615
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,334
Followers 82
Following 53
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 ▼ 2 days ago
Posts 901
Followers 312
Following 164
Header Image

Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: . Learning to play and referee .
🏴󠁧󠁢󠁳󠁣󠁴󠁿 🇳🇿 🏴󠁧󠁢󠁷󠁬󠁳󠁿

Last posted ▼ 2 days ago
Posts 323
Followers 189
Following 175
Header Image

She/they 🏳️‍⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted ▼ 2 days ago
Posts 72
Followers 247
Following 54
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 ▼ 2 days ago
Posts 1,772
Followers 494
Following 475
Header Image

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

Last posted ▼ 2 days ago
Posts 2,550
Followers 224
Following 394
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 ▼ 2 days ago
Posts 7,693
Followers 468
Following 161
Josep Bigorra 🐂🇳🇱🎸👨‍💻
@[email protected]

Software Engineer from the Netherlands 🇳🇱
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 days ago
Posts 88
Followers 34
Following 36
Header Image

A software and game developer at heart. Hasn't make anything special yet. Mostly code in haskell, but currently trying out godot

profile made with picrew: picrew.me/en/image_maker/86501

Last posted ▼ 2 days ago
Posts 4
Followers 0
Following 5
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 157
Followers 47
Following 102
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 ▼ 2 days ago
Posts 1,179
Followers 271
Following 176