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 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 ]

There are no comments on this comment yet.