CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
-
OctoML
- Seattle, Washington
- @roeschinc
Highlights
Block or Report
Block or report jroesch
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Chanwut (Mick) Kittivorawong
chanwutk
Ph.D. student in Computer Science at UC Berkeley.
Berkeley, CA
Nika Layzell
mystor
I work on web platform APIs, Gecko, Rust, and break things. Often at the same time.
@Mozilla Toronto, ON
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
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Lars Hupel
larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”
Giesecke+Devrient München
PreviousNext