Memory Safety's Hardest Problem
matklad.github.io