logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted 3 days ago
Posts 63
Followers 124
Following ▼ 1
Header Image

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Last posted 3 days ago
Posts 36
Followers 21
Following ▼ 1
Header Image
Sjoerd Visscher
@[email protected]
Last posted 1 day ago
Posts 718
Followers 273
Following ▼ 1
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.

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 17
Followers 108
Following ▼ 1
Header Image

Ruby and JS in the streets, Haskell and friends between the sheets.

Last posted 2 days ago
Posts 36
Followers 18
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,457
Followers 396
Following ▼ 0
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 5 days ago
Posts 2,265
Followers 1,201
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 4 months ago
Posts 38
Followers 427
Following ▼ 0

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of ocaml for the ecosystem! ocaml_hug

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 1 month ago
Posts 332
Followers 354
Following ▼ 0
Header Image
Ronaldd Pinho
@[email protected]

🇧🇷 Just a Amazonian lad, with no money in the bank or important parents and, coming from the countryside.

Computer scientist, operations researcher, programmer, , socialist and football lover.

Last posted 1 month ago
Posts 105
Followers 4
Following ▼ 0
Header Image

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

Last posted 6 months ago
Posts 417
Followers 69
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 2 days ago
Posts 124
Followers 10
Following ▼ 0
Header Image
Jesse Hallett
@[email protected]

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

Pronouns he/they

Last posted 1 month ago
Posts 185
Followers 126
Following ▼ 0
Header Image
🤍 HE🜁RT fedora
@[email protected]

python javascript rust haskell

Last posted 2 months ago
Posts 2
Followers 1
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

Last posted 2 days ago
Posts 678
Followers -1
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 1 day ago
Posts 11,178
Followers 497
Following ▼ 0
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 4 months ago
Posts 6
Followers 1
Following ▼ 0
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic kubernetes AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted 2 weeks ago
Posts 496
Followers 73
Following ▼ 0
Header Image
Vincent Zee 徐
@[email protected]

Programmer interested in and many more! Currently learning . User of . Collector of books!

Also into and

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

Student F# and Haskell

Last posted 2 weeks ago
Posts 5
Followers 0
Following ▼ 0
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 3 weeks ago
Posts 169
Followers 64
Following ▼ 0