Name: Timothy Xu 徐嘉駿(he/il/他)
Type: User
Bio: (He/him) Software Engineer (Haskell, Python, Java, C, SQL; TLA+, Coq, Lean) versed in formal methods/ML/Agile/DevOps; Humanist; NYU Courant Institute Maths MS
Location: New York City
Blog: linkedin.com/in/TimothyXu/
Timothy Xu 徐嘉駿(he/il/他)'s Projects
An amortized approach for calculating local Shapley value explanations
TextMate support for Ruby
Allows syntax highlighting and other features for source code embedded in text documents like HTML, MultiMarkDown, Pandoc, Markdown, etc. in TextMate.