Loading...
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
Coding for 15 years.
399 followers.
#jroesch.com Source code and templates for my personal website.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.