logo FEDIDEVS

FEDIDEVS

134 awesome Haskell developers on Mastodon.

Human haskell Haskell
Header Image

Writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from falseknees.com

Header is a Haskell wallpaper made by me.

Last posted 1 day ago
Posts 4,574
Followers ▼ 445
Following 276
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 week ago
Posts 383
Followers ▼ 436
Following 507
Header Image
Vitaly Bragilevsky
@[email protected]

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted 3 months ago
Posts 29
Followers ▼ 414
Following 63
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,036
Followers ▼ 406
Following 791
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

Last posted Less than a day ago
Posts 8,738
Followers ▼ 401
Following 302
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 1 day ago
Posts 3,242
Followers ▼ 365
Following 469
Header Image

Long time software developer.

Working on low level systems software and high level languages.

Worried about the rise of fascism. Worried more about inhumane murderers just km from me, who murdered 1500 people in cold blood, in 1 day.

A proponent of cancel culture, wokism and lots of virtue signaling!

Last posted 6 months ago
Posts 3,060
Followers ▼ 362
Following 885
Header Image

Punjabi-Scottish-American husband and father of two, Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 ex-{Microsoft, Google, Facebook} living in Los Altos, California

Last posted 5 months ago
Posts 55
Followers ▼ 355
Following 225
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,482
Followers ▼ 353
Following 876
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 4 days ago
Posts 183
Followers ▼ 328
Following 178
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 1 month ago
Posts 363
Followers ▼ 311
Following 596
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 5 days ago
Posts 890
Followers ▼ 310
Following 166

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 4 days ago
Posts 208
Followers ▼ 304
Following 971
Header Image

Haskell / Scala developer, author of specs2 and registry

Last posted 5 months ago
Posts 343
Followers ▼ 303
Following 101
Nicholas Boyd Isacsson
@[email protected]

Half-Brit Swede living in Lund but working in Copenhagen.

Last posted 1 day ago
Posts 815
Followers ▼ 302
Following 511
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 2 days ago
Posts 98
Followers ▼ 288
Following 484
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 414
Followers ▼ 280
Following 105
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 1 day ago
Posts 1,147
Followers ▼ 263
Following 169
Header Image
Simon Frankau
@[email protected]

SRE manager on Google Compute Engine (only speak for me), ex-quant dev. Fan of maths, Haskell, Rust and retrocomputing. London, UK. CS PhD. Fuck cancer.

Available on Twitter while stocks last.

Last posted 5 months ago
Posts 2,937
Followers ▼ 261
Following 126
Header Image
Boyd Stephen Smith Jr.
@[email protected]

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

Last posted 1 day ago
Posts 15,851
Followers ▼ 259
Following 321