The paper provides the technical details missing from the blog post. https://arxiv.org/pdf/2106.06278.pdf

Summary: adding gradual typing to a dynamically typed language is more difficult and more of a research project than I had initially imagined.