59 awesome Haskell accounts on Mastodon that posted recently.

Taggart
@[email protected]
Displaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python
#haskell
, and #javascript
. #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. Dad. #fedi22 #searchable
Pronouns: He/him.
M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO
Decenta Lyzed
@[email protected]Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
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).
Drew
@[email protected]Slowly writing a common lisp book
bluesky folks follow @ap.brid.gy so we can interact!
Profile pic was created with Picrew’s “Fields of Mistria OC maker“!
Header is a Haskell wallpaper made by me.
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
Jeremy List
@[email protected]A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
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.
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.
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
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
Momo 🏳️⚧️
@[email protected]
26 years old trans enby. A cat furry , solarpunk 🌱, and a lefty anarchist. Also likes pats, flirts, and hugs
This silly 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!
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.
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.
Cass Alexandru
@[email protected]PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an
Roos
@[email protected]I’m curious and passionate about free software, functional programming languages, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems and low-power wireless technologies.
In my free time, I contribute to open source projects, participate in activities in the further of mass blockchain adoption or study RF signals around me.
PS: I *really* like trains :)
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Esparta
@[email protected]
Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.
all my content have a #creativecommons license CC BY-NC-SA 4.0 #CCBYNCSA
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: https://blog.philsas.one/plc/
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.