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
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