120 awesome Haskell developers on Mastodon.

Drew
@[email protected]Slowly writing a common lisp book
bluesky folks follow @ap.brid.gy so we can interact!
Profile pic was created with Picrew’s “Fields of Mistria OC maker“!
Header is a Haskell wallpaper made by me.
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).
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/
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)
Mihai Maruseac
@[email protected]Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
Maxx (she/her)
@[email protected]Programmer, TTRPG'er, hobbyist of a million varieties...
Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃
Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez
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
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.
Mihai Maruseac
@[email protected]Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
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
Mihai Maruseac
@[email protected]Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
Daniel Mlot
@[email protected]Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him
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.
Alex Nedelcu
@[email protected]Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
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 :)
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
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.
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 (he/him)
@[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 member of the Core Libraries Committee (https://github.com/haskell/core-libraries-committee/).
Artem Pelenitsyn
@[email protected]Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.