Awesome Haskell accounts on Mastodon that posted recently.
Haskell
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
someodd
@[email protected]Haskell. Gopher.
Bradley Saul
@[email protected]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.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
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.
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.
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.
maon
@[email protected]Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.
Jaro Reinders
@[email protected]PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.
I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.
Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
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).
Emilio J. Gallego Arias
@[email protected]Research Engineer @ Lean FRO.
ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean
divVerent
@[email protected]Software engineer. Mathematics major. All programming languages are bad.
In free time, game developer; main titles: #AAAAXY, #Xonotic, #Nexuiz.
Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).
Primary: @divVerent
There is No Magic
@[email protected]I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
Roos
@[email protected]CTO at satoshi-connect.ch.
@bebop ambassador.
I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.
In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.
I also *really* like trains :)
Frédéric Menou
@[email protected]I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.
My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.
Currently freelance at the French NAP: https://transport.data.gouv.fr
Sven
@[email protected]Passionate Software-Developer from Germany, likes Ruby, Haskell, Linux, Emacs, Vim, Books, Fantasy, Lego, Boardgames, Whisky, Heavy Metal and Nature.
Chasing dreams.
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
☭. evie
@[email protected]they/she 🏳️⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open
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 :)
Jonathan Carroll
@[email protected]#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others

Also learning Japanese 🇯🇵
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia