avatar

std::bodun::blog

PhD @ UT Austin. OS, network, heterogeneity, anything system.

OS (16) MM (7) ALGORITHM (6) KERNEL (5) PL (5) LINUX (3) BLOCKCHAIN (2) HOW-TO (2) OTHER (2) THEORY (2) VIRTUALIZATION (2) APPLICATION (1) BITCOIN (1) CS (1) DAFNY (1) ETHEREUM (1) GPU (1) GRAD-SCHOOL (1) HUGO (1) JEKYLL (1) LOGIC (1) MARKDOWN (1) MATHJAX (1) PHD (1) VERIFICATION (1) WEB (1) WIRELESS (1)