formerly_proven Karma 15,041 Created 6 years ago About I usually don't know what I'm talking about. Recent Submissions 1. ▲ 11 year old unsoundness bugs found in Rust borrow checker (github.com) 751 points · 24 days ago · 446 comments All submissions on HN · View profile on HN