Live, laugh, virtual machines. Performance Engineer @oxidecomputer.
Minimathlib. Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.
branchless. Rust
