111 awesome Haskell accounts on Mastodon.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
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.
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
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
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.
arialdo
@[email protected]Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue
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).
Haskell Weekly
@[email protected]Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
maralorn
@[email protected]I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
tauli
@[email protected]Interests in no particular order: #Haskell, #Unix, #Neovim, #Feminism, #Go(Boardgame), #VideoGames (Retro and Indie), #Origami, #Tea, #Chocolate
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.
Efertone
@[email protected]I'm trans pan woman and usually I'm #engineering the #cloud. And #gaming (mostly #ffxiv and #genshinimpact) ;)
But really, most of the time I live inside my #vim (technically #neovim these days) and coding.
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 like maths, computers, nature, people. Master student in dynamics (ergodic theory) at USP, but often fiddling with Haskell and Lean. From northeast of Brazil, type 1 diabetic 🌻.
Olivia Weston
@[email protected]Programming languages PhD student at University of Glasgow, programmer, sysadmin, lover of Haskell, purveyor of fine dining and fine memes
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
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.
Sebastian Graf
@[email protected]Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet
Susan Potter
@[email protected]Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.
Tolerates writing #Scala for good money.
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af, she/her.
Carlos Saltos
@[email protected]Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos
ELLIOTTCABLE
@[email protected]Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝
I write a lot of #OCaml for the #JavaScript ecosystem!
DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming