64 awesome Haskell accounts on Mastodon that posted recently.

Decenta Lyzed
@[email protected]Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
Maxx (she/her)
@[email protected]Programmer, TTRPG'er, hobbyist of a million varieties...
Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃
Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez
Zoe : Void -> a
@[email protected]Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️⚧️🏳️🌈. She/Her.
Momo 🏳️⚧️
@[email protected]
26 years old trans enby. A cat furry , solarpunk 🌱, and a lefty anarchist. Also likes pats, flirts, and hugs
This kitty is a pansexual
I love programming #Rust and #Haskell on #NixOS.
My posts/boosts consist of tech, gaming, solarpunk, nature, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.
Follow me if you want to hear more of my blabbing!
Efexor Zolpidem
@[email protected]
Proletário das áreas Software e Educação. Shitposts em português e inglês.
#linux #gnu #foss #python #php #javascript #haskell #fp #EatTheRich
divVerent
@[email protected]Software engineer. Mathematics major. All programming languages are bad.
In free time, game developer; main titles: #AAAAXY, #Xonotic, #Nexuiz.
Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).
Primary: @divVerent
Seph
@[email protected]Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: #Christian #trans #lesbian #maths #haskell #hacker #ActuallyAutistic #ADHD #anarchism #antifa #syndicalism. Learning to play and referee #RollerDerby.
🏴 🇳🇿 🏴
Abhinav 🌏
@[email protected]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.
#fedi22 #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself
Raymond
@[email protected]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.
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).
Oriel Jutty
@[email protected]
Indoor European. I know #regex. I write #code (in #C or #Haskell or #Perl or #JavaScript or #bash).
100% OPSEC.
Kompatibel mit handelsüblichen Klemmbausteinen.
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Marko Dimjašević
@[email protected]Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
Brent Yorgey
@[email protected]Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
Jonathan Carroll
@[email protected]#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia
yogsototh
@[email protected]Patrik Jansson
@[email protected]Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)