404 bio not found
Currently learning
TLA+, Lean4 and PLT Redex
Currently hacking on
Transactional Storage Engines
Skills/Languages
C, assembly
Take off every Zig!
