128 awesome Haskell accounts on Mastodon.

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.
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
HoldMyType
@[email protected]> git checkout --no-overlay --
if only ..
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , #haskell
DP - shamelessly stolen from a an fp video i watched
Momo 🏳️⚧️
@[email protected]
She/they/it (trans
| 26 | #solarpunk)
ish one frisky, fedi kitty.
I love programming #Rust and #Haskell on #NixOS.
A fan of Stardew Valley and CBN. Sometimes I make mods for them.
Oriel Jutty
@[email protected]
Indoor European. I know #regex. I write #code (in #C or #Haskell or #Perl or #JavaScript or #bash). 100% OPSEC.
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).
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.
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.
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 :)
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.
🏴 🇳🇿 🏴
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
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
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.
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
Nora Dimitrijević
@[email protected]Software dev, working in programming languages and static analysis, armchair linguist and conlanger, #ChapmanStick amateur and karaoke fiend.
Based in Amsterdam 🇳🇱.
Interests: #Tech #FOSS #ProgrammingLanguages #LLVM #MLIR #Compilers #CategoryTheory #Databases #Datalog #Haskell #Lisp #Conlanging #Esperanto #Philosophy #Psychoanalysis #Lacan #Hegel #Demoscene #C64 #Amiga #MusicTheory #Renoise #Furry #EcstaticDancing #ScummVM #Weird
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.
- Traditional Unix 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
- I might be a luddite - I don't favour all tech or all vendors.
Josep Bigorra 🐂🇳🇱🎸👨💻
@[email protected]Software Engineer from the Netherlands 🇳🇱
aka jjba23, Joe
Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems
Playing guitar
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.