Subject: Re: self-hosting gc
From: Erik Naggum <>
Date: Sun, 10 Mar 2002 03:48:29 GMT
Newsgroups: comp.lang.lisp
Message-ID: <>

* Matthias Blume <>
| That does not matter.  You can check whether the proof is correct.
| That's far, far easier than coming up with it.

  Do you check this for the source code or for the compiled machine code?

  In a fight against something, the fight has value, victory has none.
  In a fight for something, the fight is a loss, victory merely relief.