| | Rust's type system is Turing-complete (2017) (sdleffler.github.io) |
| 114 points by lukastyrychtr on March 13, 2021 | past | 87 comments |
|
| | Rust's Type System Is Turing-Complete (2017) (sdleffler.github.io) |
| 1 point by ibraheemdev on March 9, 2021 | past |
|
| | Rust's Type System Is Turing-Complete (sdleffler.github.io) |
| 1 point by thesephist on Aug 10, 2020 | past |
|
| | Rust's Type System Is Turing-Complete: Type-Level Programming in Rust (sdleffler.github.io) |
| 280 points by sleffy on March 11, 2017 | past | 117 comments |
|
