See also

There have been a number of blog posts related to Polonius as it evolves:

polonius-proof uses a theorem prover to prove that the naive and datafrog-opt variants generate the same errors.

The academic work "Oxide" is partially inspired by Polonius:

  • Oxide by Aaron Weiss, et al.

A talk about Polonius was given by Niko Matsakis at the "Rust Belt Rust" 2019 Conference, "Polonius: Either Borrower or Lender Be, but Responsibly":