logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
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 1 day ago
Posts ▼ 1
Followers 1,195
Following 527
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 1 day ago
Posts ▼ 1
Followers 9
Following 148
Header Image

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

🌍 ,

Last posted 1 day ago
Posts ▼ 1
Followers 1,235
Following 352
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 ▼ 1
Followers 389
Following 311
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 ▼ 1
Followers 1,497
Following 1,041
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted 1 day ago
Posts ▼ 1
Followers 5,036
Following 11
Header Image

physics grad student // he/they // condensed matter, algebraic geometry, category theory, Rust and Haskell

Last posted 4 months ago
Posts ▼ 0
Followers 69
Following 101
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted 3 months ago
Posts ▼ 0
Followers 126
Following 197
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted 2 days ago
Posts ▼ 0
Followers 11
Following 32
Header Image
aiya000🐕️あいや
@[email protected]

Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!

Last posted 2 months ago
Posts ▼ 0
Followers 1
Following 1
Header Image

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: github.com/dkurilo
And write me if I can help somehow.

Last posted 5 months ago
Posts ▼ 0
Followers 1
Following 9
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 ▼ 0
Followers 35
Following 113
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 4 days ago
Posts ▼ 0
Followers 218
Following 246
Julian Stecklina
@[email protected]

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

Last posted 2 months ago
Posts ▼ 0
Followers 335
Following 186
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 1 month ago
Posts ▼ 0
Followers 13
Following 62
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted 2 months ago
Posts ▼ 0
Followers 668
Following 1,355
Header Image
Vitaly Bragilevsky
@[email protected]

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted 1 month ago
Posts ▼ 0
Followers 427
Following 72
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 1 week ago
Posts ▼ 0
Followers 65
Following 61
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 3 days ago
Posts ▼ 0
Followers 181
Following 231
Header Image
Standard Jabberwocky
@[email protected]

R/N Gordie Freedman. Serial booster. ExNeXt, Kaleida, Boston music. Writing code, playing guitar and bass, mucking about with math and code. Some photos and irony may be posted, along with musings about music, tech, film, books, physics and philosophy. Will try to avoid politics and Elon Musk jokes but no promises.

He/him.












Last posted 6 months ago
Posts ▼ 0
Followers 165
Following 389
Last posted 5 months ago
Posts ▼ 0
Followers 1,240
Following 365