rvz Karma 10,409 Created 7 years ago About An unexpected error occurred whilst loading this profile. Please try again later. Recent Submissions 1. ▲ An Empirical Study on Soundness Bugs in the Rust Compiler (arxiv.org) 1 point · 5 hours ago · 0 comments All submissions on HN · View profile on HN