Shadaj Laddad
shadaj
Building @hydro-project, a framework for correct and performant distributed systems. PhD from UC Berkeley.
AWS San Francisco
Greg Pfeil
sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
independent consultant Boulder, CO, USA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Adriaan Moors
adriaanm
Curious coder, generalist builder. Claude Minder. Former Scala 2 tech lead (2012-2019). PhD & Post-doc on Scala 2 (higher-kinded types, new pattern matcher)
Lausanne
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA