lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Tue, Nov 01, 2011 at 01:42:17PM +0000, Stefan Reich wrote:
> On Mon, Oct 31, 2011 at 7:32 PM, Jorge <> 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.