Bob Carpenter
bob-carpenter
I work in computational and applied statistics, largely on the Stan probabilistic programming language, autodiff library, and Bayesian inference algorithms.
Flatiron Institute New York
Lee Byron
leebyron
Director of @graphql Foundation.
Prev: @watershed-climate, @robinhoodmarkets, @facebook, @tc39, @nytimes
@watershed-climate San Francisco
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
@Sourcegraph Germany
Jérémie Astori
astorije
@analogdevicesinc, ex-@CloudHealth by @vmware, ex-@w3c Boston, MA, USA
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
Phil Freeman
paf31
Original developer of the PureScript compiler, author of https://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Nathaniel Wesley Filardo
nwf
Computer security and architecture researcher. Employed by MSR Cambridge. Nomadic developer in my own time.
Employed by Microsoft Research, Cambridge.
Microsoft UK
PreviousNext