My name is Ariel Ben-Yehuda, and I am one of the developers of the Rust compiler.

I am interested in ways of building correct, safe, and bug-free programs out of smaller correct and safe parts.