logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
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 day ago
Posts 1,612
Followers 202
Following 201
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted ▼ 1 day ago
Posts 2,708
Followers 5,167
Following 11
Header Image
Arianna Masciolini
@[email protected]

facts that feel somewhat relevant right now, in no particular order:

- computer scientists see me as a linguist and vice versa
- ho voluto la bicicletta e ora pedalo
- försöker bli svensk men det är inte så bra tajmat

Last posted ▼ 1 day ago
Posts 160
Followers 32
Following 114
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 ▼ 1 day ago
Posts 23,270
Followers 381
Following 349
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 759
Followers -1
Following 44
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 8,330
Followers 1,557
Following 1,047
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,001
Followers 462
Following 147
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 828
Followers 222
Following 179
Header Image

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

Last posted ▼ 1 day ago
Posts 41
Followers 24
Following 75
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 ▼ 2 days ago
Posts 1,131
Followers 354
Following 173
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 ▼ 2 days ago
Posts 1,567
Followers 218
Following 252
Header Image

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Last posted ▼ 2 days ago
Posts 78
Followers 377
Following 588
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 173
Followers 66
Following 131
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 ▼ 2 days ago
Posts 226
Followers -1
Following 180
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 2 days ago
Posts 2,035
Followers 197
Following 246
Header Image

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

🌍 ,

Last posted ▼ 2 days ago
Posts 72
Followers 1,251
Following 351
Header Image
Sebastian Wagner
@[email protected]

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Right now, I'm leading our managed Kubernetes products.

Last posted ▼ 2 days ago
Posts 424
Followers 114
Following 318
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 2 days ago
Posts 788
Followers 282
Following 231
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted ▼ 2 days ago
Posts 284
Followers 307
Following 75
Header Image

Passionate Software-Developer from Germany, likes Ruby, Haskell, Linux, Emacs, Vim, Books, Fantasy, Lego, Boardgames, Whisky, Heavy Metal and Nature.

Chasing dreams.

Last posted ▼ 3 days ago
Posts 279
Followers 64
Following 382
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 ▼ 3 days ago
Posts 2,346
Followers 1,222
Following 538