S shnatsel.medium.com The unreasonable effectiveness of LLMs for auditing Rust code 2 points heinrich5991 4 months ago 0 comments