systems software @ NVIDIA
tockEmbedded OS in Rust
walaOS64-bit RISC-V OS (WIP)
SpectralP2P service discovery via expander graphs (WIP)