logo FEDIDEVS

FEDIDEVS

120 awesome Haskell developers on Mastodon.

Human haskell Haskell
Last posted 1 day ago
Posts 2,912
Followers 1,531
Following ▼ 2,451
Efexor Zolpidem v_com
@[email protected]

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted Less than a day ago
Posts 333
Followers 632
Following ▼ 1,303
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,467
Followers 536
Following ▼ 1,039
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 6,616
Followers 1,397
Following ▼ 1,039

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 3 weeks ago
Posts 272
Followers 335
Following ▼ 972

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of for the ecosystem!

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 5 months ago
Posts 797
Followers 255
Following ▼ 967
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts 1,717
Followers 260
Following ▼ 890
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,611
Followers 369
Following ▼ 886

Displaced Philly boy. Threat hunter. Streamer. Educator. , rust, python haskell, and javascript. advocate. Runs @thetaggartinstitute. Made wtfbins.wtf. Co-creator of github.com/mttaggart/Offensive. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted 1 day ago
Posts 7,509
Followers 6,976
Following ▼ 854
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 4,842
Followers 446
Following ▼ 799
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 2 weeks ago
Posts 167
Followers 232
Following ▼ 710
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last posted 2 weeks ago
Posts 2,135
Followers 1,899
Following ▼ 673
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted 1 day ago
Posts 6,816
Followers 194
Following ▼ 624
Header Image
Paolo G. Giarrusso
@[email protected]

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Last posted 4 months ago
Posts 363
Followers 311
Following ▼ 596
Header Image

is my day job.

are the other things I like to do.

I enjoy listening to ; reading non-fiction (, , ), , and ; and watching quirky tv shows.

Last posted 1 month ago
Posts 426
Followers 105
Following ▼ 578
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted 2 days ago
Posts 2,087
Followers 1,166
Following ▼ 520
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 months ago
Posts 395
Followers 444
Following ▼ 507
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 88
Followers 310
Following ▼ 502
Header Image

Emily, putting the gay into transHaskellrust

, , , and nerd hoping to flood the internet with my rambles and projects. Also an Arch arch user btw

Feel free to DM me and say hi :)

Last posted 3 days ago
Posts 3,616
Followers 393
Following ▼ 490
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 1 day ago
Posts 1,773
Followers 496
Following ▼ 475