Greetings! I'm Ember, a nonbinary person living in Oakland and working in the San Francisco Bay Area.

Currently, I work on Coda, a cryptocurrency protocol that leverages zero-knowledge proofs to make blockchain history managable. If you would like to try and change that, email However note that I'm only interested if you satisfy one or preferably both of the following:

Previously, I did work on/with seL4, the first kernel with a computer checked end-to-end correctness proof. As part of that I created Robigalia, a vaporware idea for a persistent capability OS built using Rust. I stopped working on it when I had to seek employment in order to survive. In a future where that is not the case, I look forward to returning to it.

Speaking of Rust, I worked on that for a few of years! Most notably, I created the first version of the currently-shipped rustdoc, and spec'd/implemented the "flexible target specification" file that is used to configure rustc for cross-compiling. I also started the This Week in Rust newsletter and kicked off VisualRust. I did a bunch of other stuff to get Rust ready for 1.0, GitHub has all the nitty-gritty.