Hacker News
- Rust's type system is Turing-complete (2017) https://sdleffler.github.io/RustTypeSystemTuringComplete/ 87 comments
- Rust's Type System Is Turing-Complete: Type-Level Programming in Rust https://sdleffler.github.io/RustTypeSystemTuringComplete/ 117 comments
- Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 3 comments compsci
- Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 48 comments programming
- Rust's Type System is Turing-Complete: An exploration of type-level programming in Rust https://sdleffler.github.io/rusttypesystemturingcomplete/ 38 comments rust