The unreasonable effectiveness of LLMs for auditing Rust codeshnatsel.medium.com2 pointsheinrich59912 days ago