logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell
Header Image

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

Last posted ▼ 1 day ago
Posts 1,182
Followers 102
Following 211
Header Image
Last posted ▼ 1 day ago
Posts 104
Followers 14
Following 26
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 6,443
Followers 502
Following 829
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,648
Followers 5,124
Following 11
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 1 day ago
Posts 734
Followers 273
Following 222
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 ▼ 1 day ago
Posts 435
Followers 471
Following 529
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 ▼ 1 day ago
Posts 82
Followers 369
Following 583
Header Image
Cass Alexandru
@[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 788
Followers 210
Following 175

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted ▼ 1 day ago
Posts 427
Followers 14
Following 111
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 day ago
Posts 216
Followers -1
Following 177
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 ▼ 1 day ago
Posts 417
Followers 114
Following 318
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 ▼ 1 day ago
Posts 1,107
Followers 348
Following 170
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 ▼ 1 day ago
Posts 603
Followers 517
Following 200
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,950
Followers 404
Following 923
Header Image

Haskell. Gopher.

Last posted ▼ 2 days ago
Posts 1,342
Followers 364
Following 146

Professional freelance programmer (#python, , , ++, )
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,975
Followers 656
Following 701
Last posted ▼ 2 days ago
Posts 3,684
Followers 1,657
Following 2,595
Header Image
Ramses 🇵🇸
@[email protected]

Linux, NixOS, Haskell, functional programming, mathematics, physics, philosophy, ...

Last posted ▼ 2 days ago
Posts 13
Followers 80
Following 272
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 885
Followers 64
Following 192
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 ▼ 2 days ago
Posts 1,671
Followers 87
Following 67
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 ▼ 3 days ago
Posts 211
Followers 60
Following 116