The unreasonable effectiveness of LLMs for auditing Rust code
shnatsel.medium.com