logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
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 168
Followers 65
Following ▼ 0
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 38
Followers 427
Following ▼ 0
Julian Stecklina
@[email protected]

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

Last posted 2 months ago
Posts 208
Followers 335
Following ▼ 0
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem from 🇲🇾. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and . Big fan of .

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted 1 day ago
Posts 2,377
Followers 268
Following ▼ 0
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 1 day ago
Posts 1,460
Followers 218
Following ▼ 0
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 4 days ago
Posts 353
Followers 35
Following ▼ 0
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

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

Last posted 1 day ago
Posts 95
Followers 11
Following ▼ 0
Header Image

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

Last posted 4 months ago
Posts 417
Followers 69
Following ▼ 0
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,669
Followers 475
Following ▼ 0
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

feel free to follow request!

Last posted 2 days ago
Posts 582
Followers -1
Following ▼ 0
Header Image
Sébastian Méric de Bellefon
@[email protected]

Software engineer working on Virtual Power Plants at Generac | | Clean | | sebastiandebellefon.com/

Last posted 7 months ago
Posts 14
Followers 58
Following ▼ 0
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 3,204
Followers 389
Following ▼ 0
Header Image

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

🌍 ,

Last posted 1 day ago
Posts 52
Followers 1,235
Following ▼ 0
Header Image

A guy who's trying to make more switches to FOSS, interested in gaming, philosophy, science, food...

Expect some political/environment rants...

Last posted 6 months ago
Posts 1,470
Followers 85
Following ▼ 0
Header Image

Indie quant developer and fractional-CTO for very early stage startups. Polyglot software engineer (, , , , , ) with focus on building privacy-cenetered applications and trading systems.

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 1 day ago
Posts 2,403
Followers 1,936
Following ▼ 0
Header Image

Haskell / Scala developer, author of specs2 and registry

Last posted 4 months ago
Posts 351
Followers 315
Following ▼ 0
Header Image
Paolo G. Giarrusso
@[email protected]

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Last posted 3 weeks ago
Posts 357
Followers 321
Following ▼ 0
Header Image

iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.

Also @abizern.dev on Bluesky

Last posted 4 weeks ago
Posts 347
Followers 93
Following ▼ 0
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 759
Followers 165
Following ▼ 0
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 4 days ago
Posts 1,807
Followers 181
Following ▼ 0

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 1 day ago
Posts 417
Followers 12
Following ▼ 0