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 firstname.lastname@example.org only after ensuring you meet all of the following requirements. These are not negotiable unless you're willing to triple my salary.
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.