logo FEDIDEVS

FEDIDEVS

127 awesome Haskell accounts on Mastodon.

haskell Haskell
Julian Stecklina
@[email protected]

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

Last posted 1 day ago
Posts 193
Followers 334
Following ▼ 3
Header Image

they/she 🏳️‍⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted 1 day ago
Posts 82
Followers 252
Following ▼ 3
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 2 days ago
Posts 3,650
Followers 391
Following ▼ 3
Header Image

I'm interested in:
- and everything related
- programming languages that take some idea to a logical conclusion, like , or
- category theory and therefore
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and
- rational fiction

Dreaming of selfhosting something

I use , home-manager and nix-on-droid btw

Last posted 3 weeks ago
Posts 322
Followers 2
Following ▼ 3
Header Image

writing in haskell for food

Last posted 4 days ago
Posts 353
Followers 37
Following ▼ 3
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 18,252
Followers 287
Following ▼ 3
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 3 days ago
Posts 2,088
Followers 1,169
Following ▼ 2
Header Image

I’m curious and passionate about free software, functional programming languages, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems and low-power wireless technologies.

In my free time, I contribute to open source projects, participate in activities in the further of mass blockchain adoption or study RF signals around me.

PS: I *really* like trains :)

Last posted 3 days ago
Posts 249
Followers 23
Following ▼ 2
Header Image
Axman6 | 🇦🇺
@[email protected]

Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
🦋bsky.app/profile/axman6.au

Last posted 1 day ago
Posts 473
Followers 160
Following ▼ 2
Header Image

A multi-passionate person.

🧑🏻‍🎨 fine art, oil painting, acrylic, mixed media, calligraphy, design, logo, typography, minimalism, abstract art, pixel/ASCII/ANSI art, webcomic

🧑🏻‍💻 Python, Rust, Haskell, Elm, Tidal Cycles

⛺ nature, hiking, camping, DIY, hi-fi, strange music, object manipulation

💑 @annaweiss

Last posted 5 days ago
Posts 80
Followers 45
Following ▼ 2
Header Image

A software and game developer at heart. Hasn't make anything special yet. Mostly code in haskell, but currently trying out godot

profile picture made with picrew: picrew.me/en/image_maker/86501

Last posted 2 days ago
Posts 14
Followers 0
Following ▼ 2
Header Image

Shitposting, if anything

Fucking around and finding out (mathematical).

Big fan of round, hollow things. (I guess they don't even really need to be round)

Trying to differentiate a form (not going well).

Haskeller by trade.

Last posted 1 day ago
Posts 528
Followers 104
Following ▼ 2
Header Image

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Last posted 1 day ago
Posts 139
Followers 19
Following ▼ 2
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 6 days ago
Posts 164
Followers 157
Following ▼ 1
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts 1,784
Followers 260
Following ▼ 1
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 394
Followers 451
Following ▼ 1
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,718
Followers 1,406
Following ▼ 1
Header Image
Jaro Reinders (he/him)
@[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 member of the Core Libraries Committee (github.com/haskell/core-librar).

Last posted 2 days ago
Posts 168
Followers 50
Following ▼ 1
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes Generic Programming Language Acquisition New Masculinities  Friend  Yin  🇪🇺an

Last posted 2 days ago
Posts 629
Followers 173
Following ▼ 1
Header Image
Michael Fliegner
@[email protected]

FOSS und Nextcloud fan. Meine stille Liebe gilt allerdings Haskell und NIX.
Über Nextcloud nähere ich mich den Themen digitale Teilhabe, Souveränität, Bildung. Nerds sollen der Gesellschaft von Nutzen sein, statt ihr Anderssein zu kultivieren.

OSS and Nextcloud fan. However, my silent love is Haskell and NIX.
Through Nextcloud, I approach the topics of digital participation, sovereignty and education. Nerds should be of use to society instead of cultivating their otherness.

Last posted 4 weeks ago
Posts 113
Followers 12
Following ▼ 1