logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
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 1 day ago
Posts ▼ 1,598
Followers 553
Following 1,047
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 5 days ago
Posts ▼ 1,587
Followers 201
Following 200
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,534
Followers 217
Following 250
Header Image

Haskell. Gopher.

Last posted 1 day ago
Posts ▼ 1,350
Followers 366
Following 146
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted 1 day ago
Posts ▼ 1,196
Followers 105
Following 213
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,111
Followers 351
Following 170
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 ▼ 952
Followers 449
Following 146
Header Image

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

Last posted 2 days ago
Posts ▼ 889
Followers 65
Following 192
Header Image
Cass Alexandru (at TYPES)
@[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 1 day ago
Posts ▼ 798
Followers 213
Following 176
Header Image
Sjoerd Visscher
@[email protected]
Last posted 2 days ago
Posts ▼ 747
Followers 276
Following 226
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 ▼ 717
Followers -1
Following 41
Header Image

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

Last posted 6 days ago
Posts ▼ 604
Followers 518
Following 199
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 5 days ago
Posts ▼ 421
Followers 113
Following 318
Header Image

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

I also *really* like trains :)

Last posted 2 days ago
Posts ▼ 393
Followers 44
Following 130
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

Last posted 3 days ago
Posts ▼ 356
Followers 537
Following 366
Header Image

I'm interested in:
- and everything related
- programming languages that take some idea to a logical conclusion, like , or
- category theory and therefore
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and
- rational fiction

Dreaming of selfhosting something

I use , home-manager and nix-on-droid btw

Last posted 1 day ago
Posts ▼ 349
Followers 3
Following 39
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 ▼ 310
Followers 92
Following 101
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted 5 days ago
Posts ▼ 283
Followers 14
Following 34
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 ▼ 264
Followers 307
Following 75
Header Image
Nadia/Надя/नाडिया/娜迪亚/ نادية
@[email protected]

telix | frankenstein/organ-bank | surd | peirce
innert Linux: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t

Last posted 1 day ago
Posts ▼ 235
Followers 28
Following 196
Header Image
There is No Magic
@[email protected]

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

Last posted 1 day ago
Posts ▼ 230
Followers 162
Following 436