My summary is here: https://danglingpointers.substack.com/p/bounding-speculative...