This is my new blog. Stay tuned for upcoming posts on Rust, compilers, formal methods, and other stuff I find interesting.