Skip to content




Hi! I am an engineer, primarily interested in operations and infrastructure software.

The best way to contact me is at


  1. A math expression rewrite system.

    Rust 1 4

  2. Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.

    Rust 12 5

  3. Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

    Go 1.5k 191

  4. Simple browser engine.

    C++ 29 7

2,204 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2020

Created a pull request in rust-lang/rust that received 5 comments

Avoid extraneous space between visibility kw and ident for statics

Today, given a static like static mut FOO: usize = 1, rustdoc would emit static mut FOO: usize = 1, as it emits both the mutability kw with a space…

+13 −1 5 comments

Created an issue in rust-lang/rust that received 5 comments

Incorrect "private type in public interface" diagnostic

In the example below, fn a is marked as leaking the private type NotPublic to a public interface, but fn a is no more visible than NotPublic is. trait

18 contributions in private repositories Oct 7 – Oct 24

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.