It does slightly more than that - it provides a cheap computation of the upper b... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

TheLoneWolfling on June 2, 2015 | parent | context | favorite | on: How Is Critical Life or Death Software Tested?

It does slightly more than that - it provides a cheap computation of the upper bound of how long it will take.

eropple on June 2, 2015 [–]

Yeah, that too. Come to think of it, that was probably more his concern than just halting.

TheLoneWolfling on June 2, 2015 | [–]

Going out on a limb here, but I don't suppose it was for a superoptimizer?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact