logo FEDIDEVS

FEDIDEVS

29 of the best Haskell accounts on Mastodon.

Best haskell Haskell
Last posted 1 day ago
Posts 2,087
Followers 1,329
Following ▼ 2
Header Image

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

Last posted 2 days ago
Posts 492
Followers 382
Following ▼ 2
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 Less than a day ago
Posts 10,105
Followers 174
Following ▼ 1
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into , , , , . Also sometimes .

Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like and .

Pronouns he/they

Last posted 1 day ago
Posts 168
Followers 122
Following ▼ 0
jailandrade 🍉
@[email protected]

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about , , , , , , and ,

very interested in languages like , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted Less than a day ago
Posts 3,273
Followers 157
Following ▼ 0
Header Image

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

Last posted 1 day ago
Posts 2,226
Followers 189
Following ▼ 0
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 4 days ago
Posts 1,838
Followers 1,818
Following ▼ 0
Header Image

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

time matters when it pays off
> git.sr.ht/~carnotweat/virt-nix
, bits of

Last posted 1 day ago
Posts 6,938
Followers 542
Following ▼ 0
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 3 weeks ago
Posts 2,938
Followers 262
Following ▼ 0
Googly Eyed Peas
@[email protected]

Immune compromised Scala/Java/Golang/Rust/Haskell self employed developer, stuck at home because of how mild COVID is. Getting rather pissed off about it. Father of autistic boy. Anti-fascist. See a nazi, punch a nazi. 🌈 I hold the opinion that convicted billionaire fraudsters should go to big-boy prisons and not minimum security country clubs (ok Emma?)

Last posted 6 months ago
Posts 9,047
Followers 366
Following ▼ 0
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 Less than a day ago
Posts 2,559
Followers 320
Following ▼ 0
Header Image
Julian Stecklina
@[email protected]

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

Last posted 2 days ago
Posts 142
Followers 275
Following ▼ 0
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

Last posted 1 day ago
Posts 1,065
Followers 196
Following ▼ 0
Header Image

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted 2 days ago
Posts 2,502
Followers 544
Following ▼ 0
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 2 weeks ago
Posts 31
Followers 330
Following ▼ 0
Header Image

Computer scientist pursuing a PhD degree with a focus on automated testing of software for embedded systems using symbolic execution. In my spare time, I am also a regular contributor to Alpine Linux. Additional interests include functional programming (mostly Scheme and Haskell), software security, operating systems (Alpine Linux, OpenBSD, Guix, RIOT), and computer architecture (mainly RISC-V).

Last posted 4 weeks ago
Posts 107
Followers 240
Following ▼ 0
Header Image

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

I spend most of my time coding , , , am a co-maintainer of nixpkgs.haskellPackages and a member of 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 3 days ago
Posts 1,712
Followers 454
Following ▼ 0
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

Last posted 1 day ago
Posts 7,510
Followers 451
Following ▼ 0
Header Image
Bryce3DKeygen.midi
@[email protected]

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

Last posted 2 weeks ago
Posts 244
Followers 139
Following ▼ 0