logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell

Displaced Philly boy. Threat hunter. Educator. , 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,571
Followers ▼ 7,556
Following 879
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,534
Followers ▼ 5,052
Following 11
Header Image

Indie quant developer and fractional-CTO for very early stage startups. Polyglot software engineer (, , , , , ) with focus on building privacy-cenetered applications and trading systems.

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 3 days ago
Posts 2,421
Followers ▼ 1,937
Following 688
Last posted 1 day ago
Posts 3,463
Followers ▼ 1,607
Following 2,542
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 7,611
Followers ▼ 1,503
Following 1,041
Header Image

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

🌍 ,

Last posted 2 days ago
Posts 58
Followers ▼ 1,237
Following 352
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,219
Followers ▼ 1,195
Following 529
Header Image

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted Less than a day ago
Posts 10,051
Followers ▼ 644
Following 367

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

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

Last posted 2 days ago
Posts 9,645
Followers ▼ 639
Following 672
Header Image
Anthony Cowley
@[email protected]

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted 1 day ago
Posts 2,995
Followers ▼ 595
Following 374
Header Image

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Last posted 2 days ago
Posts 1,560
Followers ▼ 550
Following 1,045
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last posted 4 days ago
Posts 327
Followers ▼ 525
Following 356
Header Image

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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,798
Followers ▼ 491
Following 808
Header Image

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

Last posted Less than a day ago
Posts 10,726
Followers ▼ 482
Following 333
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

Last posted 2 days ago
Posts 7,833
Followers ▼ 464
Following 164
Header Image
Stephan Schiffels
@[email protected]

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

Last posted 2 days ago
Posts 409
Followers ▼ 461
Following 515
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,220
Followers ▼ 390
Following 313
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Traditional Unix editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- I might be a luddite - I don't favour all tech or all vendors.

Last posted 1 day ago
Posts 2,816
Followers ▼ 384
Following 906
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 775
Followers ▼ 371
Following 138

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 Less than a day ago
Posts 326
Followers ▼ 353
Following 1,000
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 5 days ago
Posts 77
Followers ▼ 343
Following 553