logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts 1,781
Followers 263
Following ▼ 3
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 4 days ago
Posts 2,351
Followers 1,222
Following ▼ 3
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 Less than a day ago
Posts 3,704
Followers 407
Following ▼ 3
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 764
Followers -1
Following ▼ 3
Header Image

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

Last posted 1 day ago
Posts 1,019
Followers 510
Following ▼ 2
Header Image
Emilio J. Gallego Arias
@[email protected]

Research Engineer @ Lean FRO.

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

Last posted 6 days ago
Posts 11
Followers 27
Following ▼ 2
Header Image
Manuel Bergler
@[email protected]

C++ developer by day, Haskell enthusiast by night.

Last posted 2 weeks ago
Posts 85
Followers 54
Following ▼ 2

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 4 weeks ago
Posts 347
Followers 356
Following ▼ 2
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.
Based in Amsterdam 🇳🇱. 
Interests: 
Personal:

Last posted 2 weeks ago
Posts 218
Followers 60
Following ▼ 1
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 173
Followers 70
Following ▼ 1
Header Image

Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.

Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23

Last posted 1 week ago
Posts 1,613
Followers 202
Following ▼ 1
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted 2 days ago
Posts 11,463
Followers 510
Following ▼ 1
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 3 days ago
Posts 1,570
Followers 218
Following ▼ 1
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 2,049
Followers 197
Following ▼ 1
Header Image

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

Last posted 1 week ago
Posts 226
Followers -1
Following ▼ 1

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, , , , , , ) and recovering software engineer in "tech".

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 4 days ago
Posts 2,682
Followers 1,960
Following ▼ 1
Header Image
Patrik Jansson
@[email protected]

Computer scientist, hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted 6 days ago
Posts 1,135
Followers 355
Following ▼ 1
Header Image

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

🌍 ,

Last posted 1 day ago
Posts 75
Followers 1,252
Following ▼ 1
Header Image
Artem Pelenitsyn
@[email protected]

Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg, PA). PhD in CS from Northeastern. Programming languages and compilers. Julia, Haskell.

Last posted 1 week ago
Posts 210
Followers 101
Following ▼ 1
Header Image

Software engineer in New York, amateur code blogger, lover of cats and anteaters.

Opinions expressed do not represent that of my employers.

Last posted 2 days ago
Posts 180
Followers 68
Following ▼ 1
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted 2 weeks ago
Posts 184
Followers 19
Following ▼ 1