greetings! i'm ember, a nonbinary person in the united states. i have liked working with rust, and have big ideas about how formal methods can radically change the world: make computers actually work. what an idea! My home on the web is lunar.town.

i studied math and computer science at clarkson university from 2013-2015 and returned in 2022 to study digital art, machine learning, and electrical engineering for another year. i studied formal verification (proof engineering) at UNSW.

most recently, i did prototyping for Hellas. before that, i worked for O(1) Labs, on mina during its birth as a founding engineer. Mina is a hash-linked distributed proof system that leverages advanced constructive mathematics to make blockchain history managable. or, find other descriptions online :)

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.

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.