logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell
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,259
Followers ▼ 4
Following 534
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted 5 days ago
Posts 10
Followers ▼ 4
Following 132
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 3 days ago
Posts 8,987
Followers ▼ 4
Following 63
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 Less than a day ago
Posts 3,422
Followers ▼ 3
Following 315
Header Image
Romain Ruetschi
@[email protected]

Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous life • I like 🐈🎾⛷️ 🧗‍♂️🛹👟

Last posted 3 weeks ago
Posts 178
Followers ▼ 3
Following 710
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

Last posted 1 day ago
Posts 618
Followers ▼ 3
Following 256
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 week ago
Posts 1,594
Followers ▼ 3
Following 1,047
Header Image

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

Last posted 1 day ago
Posts 1,139
Followers ▼ 3
Following 209
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 3 days ago
Posts 422
Followers ▼ 3
Following 522
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 1 day ago
Posts 7,883
Followers ▼ 3
Following 165
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 Less than a day ago
Posts 406
Followers ▼ 3
Following 314
Header Image

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

🌍 ,

Last posted 1 week ago
Posts 43
Followers ▼ 3
Following 350
Header Image
Manuel Bergler
@[email protected]

C++ developer by day, Haskell enthusiast by night.

Last posted 1 week ago
Posts 65
Followers ▼ 3
Following 240
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 2 days ago
Posts 7,891
Followers ▼ 2
Following 1,044
Header Image

Functional mind wired in Haskell.
Type-driven to the bone.
A λ-enthusiast wandering between monads and the real world.

Last posted 1 week ago
Posts 13
Followers ▼ 2
Following 4
Header Image

Haskell. Gopher.

Last posted 6 days ago
Posts 1,332
Followers ▼ 2
Following 143
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze, Jurrian Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
 #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

Last posted 2 days ago
Posts 757
Followers ▼ 2
Following 173

Indie quant developer and algo trader. Polyglot software engineer (#Haskell, , , , , , ).

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted Less than a day ago
Posts 2,552
Followers ▼ 2
Following 692
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 6 days ago
Posts 280
Followers ▼ 2
Following 97
Header Image

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

Last posted 5 days ago
Posts 112
Followers ▼ 1
Following 184

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 3 days ago
Posts 422
Followers ▼ 1
Following 110