The unreasonable effectiveness of LLMs for auditing Rust code

As a lead of the Rust Secure Code Working Group, I got free access to GPT-5.5 via the Codex for Open Source. Since then I’ve found and reported dozens of issues of varying severity in widely used Rust crates.

Read more...

Safe SIMD in Rust, even on the inside

Rust’s SIMD abstractions were not as safe as I’d like. Until now.

Read more...

My old articles are on Medium

Find them at https://shnatsel.medium.com/
Read more...