128 awesome Haskell accounts on Mastodon.

Yuras
@[email protected]writing in haskell for food
arialdo
@[email protected]Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
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.
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 :)
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.
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.
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.
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
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)
Alex Nedelcu
@[email protected]Software developer, #FP, #Scala, #Kotlin, #Java / #JVM, #Haskell, #Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
Susan Potter
@[email protected]Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.
Tolerates writing #Scala for good money.
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af, she/her.
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
Hi there.
I'm a software engineer and father of 2 kids.
I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.
I hail from Denmark, the Copenhagen area.
I have been working professionally with Haskell, Rust, Python, and C#.
Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).
My blog: https://blog.philsas.one/plc/
Vitaly Bragilevsky
@[email protected]Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).
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
Dima
@[email protected]Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.
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
Roos
@[email protected]I’m curious and passionate about free software, functional programming languages, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems and low-power wireless technologies.
In my free time, I contribute to open source projects, participate in activities in the further of mass blockchain adoption or study RF signals around me.
PS: I *really* like trains :)
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.