Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Rust's type system is Turing-complete (2017). Parent comment
How is Turing-completeness related to soundness? I am behind on CS theory, but what little I know about category-theory tells me this isn’t the case.
There are no comments on this comment yet.
How is Turing-completeness related to soundness? I am behind on CS theory, but what little I know about category-theory tells me this isn’t the case.