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 Less than a day ago
Posts 2,284
Followers 1,207
Following ▼ 1
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 1 day ago
Posts 1,667
Followers 87
Following ▼ 1
Header Image

Indoor European. Knows . Writes (in or or or or ). Not a fan of racism, sexism, transphobia, or bigotry.
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted 1 day ago
Posts 9,164
Followers 232
Following ▼ 1

Professional freelance programmer (#python, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted 1 day ago
Posts 9,949
Followers 654
Following ▼ 1
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
 #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

Last posted 2 days ago
Posts 785
Followers 210
Following ▼ 1

Displaced Philly boy. Threat hunter. Educator. ifin Executive Director. , rust, python haskell, and javascript. advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made wtfbins.wtf. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

Last posted Less than a day ago
Posts 10,956
Followers 8,359
Following ▼ 0
Header Image
aiya000🐕️あいや
@[email protected]

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

Last posted 5 months ago
Posts 6
Followers 1
Following ▼ 0

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 39
Followers 127
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 week ago
Posts 186
Followers 126
Following ▼ 0
Efexor Zolpidem v_com
@[email protected]

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

Last posted 5 months ago
Posts 221
Followers 668
Following ▼ 0
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 3 months ago
Posts 77
Followers 9
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 5 days ago
Posts 335
Followers 356
Following ▼ 0
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,966
Followers 244
Following ▼ 0
Last posted 1 day ago
Posts 3,680
Followers 1,653
Following ▼ 0
Header Image

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

Last posted 3 weeks ago
Posts 36
Followers 18
Following ▼ 0
Header Image
Alexander Wood
@[email protected]

computer scientist @ university of bristol
reluctant overwatch player

Last posted 4 months ago
Posts 16
Followers 13
Following ▼ 0
Julian Stecklina
@[email protected]

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

Last posted 2 weeks ago
Posts 208
Followers 343
Following ▼ 0
Header Image

Haskell, Elm, Rust

Last posted 2 months ago
Posts 3
Followers 1
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 1 week ago
Posts 170
Followers 65
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 1 day ago
Posts 697
Followers -1
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 5 days ago
Posts 426
Followers 13
Following ▼ 0