xavxav Karma 1,035 Created 14 years ago About www.xav.io Recent Submissions 1. ▲ Software Archeology in 2026 (xav.io) 2 points · 1 month ago · 0 comments 2. ▲ Visions of the future: formal verification in Rust (xav.io) 3 points · 1 year ago · 0 comments All submissions on HN · View profile on HN