logo FEDIDEVS

FEDIDEVS

141 awesome Haskell accounts on Mastodon.

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,712
Followers ▼ 3
Following 282

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 6,264
Followers ▼ 3
Following 847
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,277
Followers ▼ 2
Following 11
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 5,935
Followers ▼ 2
Following 1,043
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 16,222
Followers ▼ 1
Following 325
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,322
Followers ▼ 1
Following 476
Header Image
Jaro Reinders
@[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 1 day ago
Posts 132
Followers ▼ 1
Following 69
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts 1,815
Followers ▼ 1
Following 886
Header Image
Haskell Weekly
@[email protected]

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted 1 day ago
Posts 2,187
Followers ▼ 1
Following 21

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 2 days ago
Posts 220
Followers ▼ 0
Following 971

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 3 months ago
Posts 797
Followers ▼ 0
Following 967
Header Image
Jesse Hallett
@[email protected]

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

Pronouns he/they

Last posted 2 weeks ago
Posts 177
Followers ▼ 0
Following 198
Tomas Aschan [ɐ̆sˈkɑːn]
@[email protected]

I'm a software engineer at Spotify, building internal developer tooling on Kubernetes - mostly golang and python. In my spare time I also dabble in haskell, rust and open-source software in general. I'm a choir tenor. I'm learning how to dad, while my son and daughter learn how to human (it's great!). I like a good story. I think empathy is probably the most important quality in a person.

Last posted 6 months ago
Posts 505
Followers ▼ 0
Following 106
Header Image

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: github.com/dkurilo
And write me if I can help somehow.

Last posted 2 months ago
Posts 7
Followers ▼ 0
Following 9
洪 民憙 (Hong Minhee)
@[email protected]

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in , , , & . They/them.

()

Last posted 5 months ago
Posts 1,917
Followers ▼ 0
Following 634
Header Image
Thomas Peklak
@[email protected]

software developer from

Last posted 6 months ago
Posts 56
Followers ▼ 0
Following 135

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted 5 days ago
Posts 308
Followers ▼ 0
Following 95
Header Image

FOSS person. for the , CPC, , and other shiny things (PC and !).

Also , , and , and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Last posted 7 months ago
Posts 995
Followers ▼ 0
Following 303
Header Image

Interessiert an:

-
-
-
-
-
-
-
- (Natural Language Processing)
-

I am

Last posted 1 month ago
Posts 5
Followers ▼ 0
Following 7
Last posted Less than a day ago
Posts 2,620
Followers ▼ 0
Following 2,321