Awesome Haskell accounts on Mastodon that posted recently.
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.
Dino
@[email protected]Haskell programmer, Linux user.
I block assholes quickly and frequently.
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
There is No Magic
@[email protected]I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
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.
Bartosz Milewski
@[email protected]Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming
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.
Markus
@[email protected]I'm interested in:
- #nix and everything related
- programming languages that take some idea to a logical conclusion, like #forth, #lisp or #smalltalk
- category theory and therefore #haskell
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and #reactivex
- rational fiction
Dreaming of selfhosting something
I use #NixOS, home-manager and nix-on-droid btw
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
Cass Alexandru @TYPES, Zurihac, PLDI
@[email protected]PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an
Marko Dimjašević
@[email protected]Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
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
Sjoerd Visscher
@[email protected]he/him #haskell #categorytheory #lumatone
☭. evie
@[email protected]they/she 🏳️⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open
Marco
@[email protected]Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna
Vitaly Bragilevsky
@[email protected]Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).
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 :)
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 Personal: #Autistic #Polyam #Trans #fedi22
Clemens Schmid
@[email protected]Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell
Mark Watson
@[email protected]Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson