News for hackers. Stuff that matters.

A comment on Why Rust? [pdf]. Parent comment

Re:Why Rust? [pdf] by openasocket on Wednesday September 09, 2015 @05:25PM (#10194734)
FYI, detecting deadlocks in the general case is in-computable, whether at run time or compile time.
[ Parent | on HN ]
Re:Why Rust? [pdf] by heinrich5991 on Wednesday September 09, 2015 @07:03PM (#10195232)
Stuff like the borrow-checker in the general case is also not computable, only for a small subset of programs, e.g. Rust programs.
[ Parent | on HN ]