47 awesome Haskell accounts on Mastodon that posted recently.
Doug Burke
@[email protected]Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.
Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23
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.
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
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.
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)
kami
@[email protected]nouns' biggest fan - art director, professional hand drawer, haskell evangelist - sometimes I fail at making games - ✨they✨
Raymond
@[email protected]Shitposting, if anything
Fucking around and finding out (mathematical)
Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)
Haskell in the streets, agda in the sheets.
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
洪 民憙 (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 #Haskell, #Rust, #TypeScript, & #Python. They/them.
Salsa Gal
@[email protected]Emily, putting the gay into #gamedev
#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw
Feel free to DM me and say hi :)
kevin ✨ (he/him)
@[email protected]#DevOps & Platform Engineering at AOE GmbH
always antifascist 🏴
always queer 🏳️🌈
Posting mainly about Kubernetes, DevSecOps and programming (Rust, Web Dev)
Currently learning Haskell.
Kalamata Hari
@[email protected]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 learns how to human (it's great!). I like a good story. I think empathy is probably the most important quality in a person.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Standard Jabberwocky
@[email protected]R/N Gordie Freedman. Serial booster. ExNeXt, Kaleida, Boston music. Writing code, playing guitar and bass, mucking about with math and code. Some photos and irony may be posted, along with musings about music, tech, film, books, physics and philosophy. Will try to avoid politics and Elon Musk jokes but no promises.
He/him.
#Music
#Guitar
#Bass
#StickShift
#Math
#NumberTheory
#Physics
#Cosmology
#QuantumPhysics
#Code
#Swift
#Haskell
Jeremy List
@[email protected]A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.
Jesse Hallett
@[email protected]Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
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 #eattherich and #nogoodbillionaires.
Pronouns he/they
chexum
@[email protected]Interests:
- Some tech origins, mainly beginnings of #Unix, CP/M, #Amiga, and thus #BCPL / #tripos. Fond of #forth too. Looking up to #lisp #haskell #erlang and #elm.
- Network infra #TCP/IP, #mptcp and #TLS progress.
- Standard editors such as vi (#vim) - after about three decades of growing into it, more and more of #emacs.
- Text interfaces, #mutt, #tig, #mc
- Fan of version control, coming from #rcs through #git
- Not a luddite at all, but I don't favour all tech or all vendors.
Andres Löh
@[email protected]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.