Re: Have you all gone crazy? Was: On being web-friendly and why info must die

[Stefan Monnier]

>> Finally, an end to all those "I waited a year and redisplay still isn't
>> done" bug reports,
> Sadly this requires proof checkers that can distinguish between "will
> terminate" and "will terminate within the known life-time of the
> universe". That's a research problem I fear.

That would be nice, but it's not needed, if we can simply assure the
poor user that she should just wait a bit more, because eventually it
will finish.


        Stefan