News for hackers. Stuff that matters.

A comment on Spectre and the end of langsec. Parent comment

Re:Spectre and the end of langsec by UncleMeat on Thursday January 11, 2018 @04:06PM (#16127849)
Proving that a loop is bounded is also undecidable.
[ Parent | on HN ]
Re:Spectre and the end of langsec by Thiez on Thursday January 11, 2018 @05:51PM (#16128823)
Only in the general case. In many/most loops that humans would find useful in practice you can prove termination.
[ Parent | on HN ]