I develop high fidelity simulation software in Rust (Nyx, hifitime), enjoy writing design documentation, and dabble in formal verification