logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
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 1 day ago
Posts ▼ 14
Followers 1,558
Following 1,047
Header Image
Boyd Stephen Smith Jr.
@[email protected]

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

Last posted Less than a day ago
Posts ▼ 13
Followers 381
Following 349

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 1 day ago
Posts ▼ 9
Followers 8,636
Following 900
Header Image
Zoe : Void -> a
@[email protected]

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Last posted Less than a day ago
Posts ▼ 9
Followers 55
Following 65
Header Image
Jaro Reinders
@[email protected]

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in .

I'm also a enthusiast, contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that I'd like to play some guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 .

Last posted 1 day ago
Posts ▼ 6
Followers 90
Following 106
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 ▼ 6
Followers 235
Following 66
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 ▼ 6
Followers 407
Following 322
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on github.com/google/googlesql

If you want to follow me, please make sure your profile has some info that helps me learn about you.

Last posted 1 day ago
Posts ▼ 5
Followers 509
Following 837
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted 1 day ago
Posts ▼ 4
Followers 249
Following 731
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts ▼ 4
Followers 263
Following 921
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted 1 day ago
Posts ▼ 3
Followers 64
Following 193
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts ▼ 3
Followers 197
Following 246
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 ▼ 2
Followers 507
Following 148

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 1 day ago
Posts ▼ 2
Followers 1,960
Following 694
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 1 day ago
Posts ▼ 2
Followers 1,223
Following 539
Last posted 1 day ago
Posts ▼ 1
Followers 1,679
Following 2,613
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
Followers 87
Following 72
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
Followers 218
Following 252
Header Image

writing in haskell for food

Last posted 1 day ago
Posts ▼ 1
Followers 42
Following 60
Header Image
Cass Alexandru @Zurihac, PLDI
@[email protected]

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

Last posted 1 day ago
Posts ▼ 1
Followers 222
Following 181
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts ▼ 1
Followers 376
Following 150