Understanding Turing Complete Type Systems in Rust
A deep dive into how Rust's trait system is inadvertently Turing complete, and what that means for compiler performance and low-level engineering.
rustcompilerstype-systems
Thoughts on programming languages, systems, graphics, and computer science.