https://xav.io/ https://xav.io/about/ https://xav.io/blog/ https://xav.io/blog/besm-update-2/ 2020-05-09 https://xav.io/blog/besm-update/ 2018-09-08 https://xav.io/blog/besm/ 2018-07-15 https://xav.io/blog/compiler/ 2017-12-18 https://xav.io/blog/debugging-your-language/ 2018-06-06 https://xav.io/blog/error-messages/ 2018-06-11 https://xav.io/blog/rust-formal-verification/ 2024-05-22 https://xav.io/blog/software-archeology/ 2026-02-16 https://xav.io/verification-in-practice/ 2024-10-10