logo FEDIDEVS

FEDIDEVS

Awesome Haskell accounts on Mastodon.

haskell Haskell

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 1 week ago
Posts ▼ 0
Followers 362
Following 1,009
Header Image
Snapkitty Sledgehammer
@[email protected]

Independent researcher in formal methods, sovereign AI systems, and reproducible computing. Building verified agentic infrastructure with Lean 4, Haskell, Rust, Prolog, and C. Publishing open research, formal proofs, and defensive prior art. Evidence over hype.

Last posted 3 weeks ago
Posts ▼ 0
Followers 0
Following 20
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Also learning Japanese 🇯🇵

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted 2 days ago
Posts ▼ 0
Followers 1,229
Following 540
Header Image
Frédéric Menou
@[email protected]

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

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted 4 days ago
Posts ▼ 0
Followers 219
Following 250
Josep Bigorra (jjba23)
@[email protected]

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted 2 months ago
Posts ▼ 0
Followers 70
Following 61
Header Image

Haskell, Elm, Rust

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

software developer from

Last posted 7 months ago
Posts ▼ 0
Followers 9
Following 148
Julian Stecklina
@[email protected]

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

Last posted 4 months ago
Posts ▼ 0
Followers 343
Following 189

Displaced Philly boy. Threat hunter. Educator. ifin Executive Director. , 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 2 days ago
Posts ▼ 0
Followers 8,818
Following 912
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 ▼ 0
Followers 73
Following 130
Header Image

Software engineer in New York, amateur code blogger, lover of cats and anteaters.

Opinions expressed do not represent that of my employers.

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

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ , , , , , -pilled—i just like programming languages okay

Last posted 3 weeks ago
Posts ▼ 0
Followers -1
Following 45
Header Image
Madman’s Nest
@[email protected]

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

Last posted 1 month ago
Posts ▼ 0
Followers 13
Following 43
Header Image

Interessiert an:

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

I am

Last posted 3 months ago
Posts ▼ 0
Followers 1
Following 15
Header Image

Ruby and JS in the streets, Haskell and friends between the sheets.

Last posted 4 months ago
Posts ▼ 0
Followers 18
Following 76
Header Image
Vincent Zee 徐
@[email protected]

Programmer interested in and many more! Currently learning . User of . Collector of books!

Also into and

Last posted 7 months ago
Posts ▼ 0
Followers 107
Following 354
Header Image
Vitaly Bragilevsky
@[email protected]

Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted 1 week ago
Posts ▼ 0
Followers 452
Following 85

I'm trans pan married woman and usually I'm the . And (mostly and ) ;)
But really, most of the time I live inside my (technically these days) and coding.

heart_trans heart_pan opensource neovim vim golang rust kubernetes python haskell

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)

Last posted 2 months ago
Posts ▼ 0
Followers 141
Following 62
Carlos Saltos
@[email protected]

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of Talenteca.com
For geeks -> @csaltos

Last posted 2 months ago
Posts ▼ 0
Followers 142
Following 203
Header Image

iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.

Also @abizern.dev on Bluesky

Last posted 1 month ago
Posts ▼ 0
Followers 98
Following 154

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, , , , , , ) and recovering software engineer in "tech".

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted 2 days ago
Posts ▼ 0
Followers 1,969
Following 696