[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Bytecode: Safe or not? / luac manual
- From: Rob Kendrick <rjek@...>
- Date: Tue, 1 Nov 2011 13:51:44 +0000
On Tue, Nov 01, 2011 at 01:42:17PM +0000, Stefan Reich wrote:
> On Mon, Oct 31, 2011 at 7:32 PM, Jorge <xxopxe@gmail.com> wrote:
> > On lun, 2011-10-31 at 18:15 +0000, Stefan Reich wrote:
> >> I mean, this is an engineering task. No more no less. I don't know
> >> exactly how much work it is, but I don't think it would take all that
> >> long if a skilled engineer gets to work on it.
> >
> > No amount of engineering will solve the Halting problem.
>
> Sorry, but what does this have to do with anything discussed before?
The halting problem is impossible to solve. A byte code verifier is a
halting problem. Thus, a perfect byte code verifier cannot exist.
> Don't you rather want to contribute something related to the topic?
He did. And as a bonus, he didn't bring up some fantasy about us not
using money by next year. *That* is off-topic.
B.
