59 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.
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
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 is a chickadee from https://falseknees.com
Header is a Haskell wallpaper made by me.
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.
There is No Magic
@[email protected]I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
Mark Watson
@[email protected]Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online https://leanpub.com/u/markwatson
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
Emily Flion
@[email protected]Free software enthusiast currently working at Epitech Toulouse.
I like to program in C/Haskell/Python/Zig.
I hate C++.
Posts get deleted after 2 weeks for privacy related reasons :3
arialdo
@[email protected]Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
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.
Efertone
@[email protected]
I'm trans pan married 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 :)
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
Axman6 | 🇦🇺
@[email protected]Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
🦋https://bsky.app/profile/axman6.au
Dino
@[email protected]Haskell programmer, Linux user.
I block assholes quickly and frequently.
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
Alex Nedelcu
@[email protected]Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.