Software engineer and researcher building programming languages, distributed systems, and developer tools.
- AgentLang — A typed language for AI agent workflows, built in Rust, with static checks, deterministic testing, and a language server.
- Causality — An incident investigation tool that turns OpenTelemetry traces and logs into ranked, evidence-linked root-cause hypotheses.
- RarePath — A trace-sampling experiment in Go and Python that retains rare execution paths, errors, and latency outliers, inspired by Microsoft Research’s STEAM.
- L — A functional language implemented in Haskell, with lexical closures, evaluation traces, and an interactive browser playground.
- gurl — A Rust CLI that makes curl easier to use, with readable JSON, request collections, and HTTPie-style request syntax.
- lectern.nvim — A Neovim plugin that puts rendered Markdown and an interactive Claude Code tutor beside your code.
Previously at Rhino, Leafly, Andela, and HousingAnywhere.