logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon that posted recently.

Recently posted haskell Haskell

Displaced Philly boy. Threat hunter. Educator. , rust, python haskell, and javascript. advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made wtfbins.wtf. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

Last posted Less than a day ago
Posts 9,863
Followers ▼ 59
Following 884
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted 1 day ago
Posts 217
Followers ▼ 28
Following 66
Header Image
Momo 🏳️‍⚧️nonbinary_flag
@[email protected]

26 years old transfem from 🇲🇾. A friendly cat furry blobcat, solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs blobcataww

This silly kitty is a pansexual pansexual_flag blobcatblep collar.

Hobbyist programmer of and . Big fan of .

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing! ablobcathappypaws

MDNI

Last posted 1 day ago
Posts 2,907
Followers ▼ 18
Following 410
Last posted 1 day ago
Posts 3,570
Followers ▼ 10
Following 2,574
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted 1 day ago
Posts 2,553
Followers ▼ 7
Following 11
Header Image

Indie quant developer and fractional-CTO for very early stage startups. Polyglot software engineer (, , , , , ) with focus on building privacy-cenetered applications and trading systems.

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 2 days ago
Posts 2,484
Followers ▼ 7
Following 691
Header Image

The official mastodon account for the ZuriHac

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. It is not your standard conference with papers and presentations, but features fantastic keynotes, hands-on tracks, hacking on many of your favourite projects, and of course lots of socializing!

Last posted 1 day ago
Posts 43
Followers ▼ 6
Following 2
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 2 days ago
Posts 797
Followers ▼ 5
Following 140
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last posted 2 days ago
Posts 330
Followers ▼ 4
Following 359

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted 1 day ago
Posts 66
Followers ▼ 4
Following 212
Header Image

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

Last posted 1 day ago
Posts 7,730
Followers ▼ 4
Following 686
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 79
Followers ▼ 3
Following 565
Header Image

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Last posted Less than a day ago
Posts 10,295
Followers ▼ 3
Following 381
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted 1 day ago
Posts 1,888
Followers ▼ 2
Following 233
Header Image

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

🌍 ,

Last posted 1 day ago
Posts 59
Followers ▼ 2
Following 351
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 7,748
Followers ▼ 2
Following 1,040
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 20,666
Followers ▼ 1
Following 337
Donald Guy || ᛞ Ɣɪ//
@[email protected]

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic kubernetes AKS 🌷Tulip 🏛️MIT

🧑‍🔧: iterm2_logo ruby ⚗️ kubernetes

🧑‍🏫: ferris nix_snowflake_logo ?

Last posted 5 days ago
Posts 491
Followers ▼ 1
Following 131
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 1 day ago
Posts 8,891
Followers ▼ 1
Following 62
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 4 days ago
Posts 345
Followers ▼ 1
Following 39
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 5,937
Followers ▼ 1
Following 816