Major Ventures
Things I did for Course Projects...
Things that I developed...
Things I Lean Formalized...
Community & Ecosystem
Active Open Source Contributor
I believe great software is built in the open. Contributing back to the ecosystem, whether fixing bugs, writing docs, or shipping features, is something I genuinely care about and do regularly.
Stack & Polyglot
Familiar Dialects
Python
Lean4
Rust
C
C++
CUDA
Typescript
Shell
Lua
and more...