logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 3 days ago
Posts ▼ 1
Followers 9
Following 148
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 3 days ago
Posts ▼ 1
Followers 1,194
Following 527
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 3 days ago
Posts ▼ 1
Followers 5,038
Following 11
Header Image

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

🌍 ,

Last posted 2 days ago
Posts ▼ 1
Followers 1,235
Following 352
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 ▼ 1
Followers 1,497
Following 1,041
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 2 days ago
Posts ▼ 1
Followers 389
Following 311
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

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
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 33
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

Interessiert an:

-
-
-
-
-
-
-
- (Natural Language Processing)
-

I am

Last posted 5 months ago
Posts ▼ 0
Followers 1
Following 11
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 5 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 2 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

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted 2 days ago
Posts ▼ 0
Followers 12
Following 108
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 2 weeks ago
Posts ▼ 0
Followers 65
Following 61
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 5 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