logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
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 78
Followers 377
Following 587
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,131
Followers 353
Following 173
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,735
Followers 507
Following 836
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,567
Followers 218
Following 252
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 424
Followers 114
Following 318
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 758
Followers -1
Following 44
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ 1 day ago
Posts 1,842
Followers 263
Following 921
Header Image

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

Last posted ▼ 1 day ago
Posts 912
Followers 64
Following 193
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 3,008
Followers 408
Following 923
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,322
Followers 1,556
Following 1,047
Header Image

writing in haskell for food

Last posted ▼ 1 day ago
Posts 433
Followers 42
Following 60
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 ▼ 2 days ago
Posts 279
Followers 64
Following 382
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 ▼ 2 days ago
Posts 827
Followers 221
Following 179
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 ▼ 2 days ago
Posts 2,346
Followers 1,222
Following 538
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 ▼ 2 days ago
Posts 241
Followers 162
Following 441
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding and am a member of the Haskell team and the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted ▼ 2 days ago
Posts 1,804
Followers 516
Following 473
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.
Working for the French government. Opinions expressed are solely my own and do not express the views or opinions of my employer.

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 ▼ 2 days ago
Posts 4
Followers 114
Following 140
Header Image

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

Last posted ▼ 2 days ago
Posts 11,460
Followers 510
Following 338
Header Image
Xavier Van de Woestyne
@[email protected]

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted ▼ 2 days ago
Posts 1,339
Followers 309
Following 196
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 ▼ 3 days ago
Posts 121
Followers 13
Following 185
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 ▼ 3 days ago
Posts 332
Followers 91
Following 103