36 of the best Haskell accounts on Mastodon.

Patrik Jansson
@[email protected]Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
nmeum
@[email protected]Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.
Bryce3DKeygen.midi
@[email protected]Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.
Xavier Van de Woestyne
@[email protected]I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.
maralorn
@[email protected]I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
Nicholas Boyd Isacsson
@[email protected]Half-Brit Swede living in Lund but working in Copenhagen.
#haskell #scala #linux #opensource #asciiart #books #tea #vegan
Stephan Schiffels
@[email protected]I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past. Also, I like Haskell and functional programming! I post in English and occasionally in German
Jesse Hallett
@[email protected]Software engineer in the Bay Area. Dad. Nerd. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
Pronouns he/they
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
Jef Allbright
@[email protected]Interested in developments at technology ∩ society, and actions promoting values increasingly coherent over increasing context.
#EmergencyManagement #Preparedness
#Sufficiency #Sustainability
#Foresight #HorizonScanning #FuturesStudies
#DecisionMaking #ProblemSolving #Uncertainty
#Decentralization #Cooperation #CollectiveIntelligence #IntentionalCommunity
#KnowledgeManagement #Visualization
#FunctionalProgramming #Haskell #Python
#MusicTheory #Musicology
#EvoDevo
NH4ClO4
@[email protected]theoretical physicist @uniheidelberg + semiprofessional computer booper (I use NixOS btw)
I like cats 🐈
compsci things: #Linux #Rust
#Haskell (global state apologists dni) #NixOS
#Privacy #Lojban
other things: #TheoreticalPhysics #Rationalism #Cyberpunk #Transhumanism #HardSF #DIYEngineering
Paolo G. Giarrusso
@[email protected]Exploring Mastodon.
PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++
Carlos Saltos
@[email protected]Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos
alios
@[email protected]Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d. #haskell #rustlang #nixos #openbsd
洪 民憙 (Hong Minhee)
@[email protected]An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in #Haskell, #Rust, #TypeScript, & #Python. They/them.