From ...
Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news-x2.support.nl!newsfeed.wirehub.nl!news-hub.siol.net!newsfeed.Austria.EU.net!newsfeed.kpnqwest.at!nslave.kpnqwest.net!nloc2.kpnqwest.net!nloc.kpnqwest.net!nmaster.kpnqwest.net!nreader1.kpnqwest.net.POSTED!not-for-mail
Newsgroups: comp.lang.lisp
Subject: Re: self-hosting gc
References: <87elj5i2rf.fsf@becket.becket.net> <a5mi23$fiv$0@216.39.145.192> <87elj5glx5.fsf@becket.becket.net> <okfvgcgad9i.fsf@bellsouth.net> <87g03kd1m5.fsf@baguette.webspeed.dk> <okfadtsa5vs.fsf@bellsouth.net> <a5nqdb$8if4g$1@ID-125440.news.dfncis.de> <pan.2002.03.01.10.21.15.524027.25143@shimizu-blume.com> <ey38z9cjnh7.fsf@cley.com> <5lzo1nhvnh.fsf@rum.cs.yale.edu> <ey3d6yjggb1.fsf@cley.com> <3C8821C9.3080608@cam.ac.uk> <m3n0xjtyr6.fsf@blight.transcend.org> <2hwuwnjgri.fsf@vserver.cs.uit.no> <3224587620423566@naggum.net> <2hsn7bjcs1.fsf@vserver.cs.uit.no> <ey3u1rrav9r.fsf@cley.com> <2hit87j76o.fsf@vserver.cs.uit.no> <ey3henraqo6.fsf@cley.com> <3224603675566967@naggum.net> <pan.2002.03.09.22.40.19.885200.1560@shimizu-blume.com>
Mail-Copies-To: never
From: Erik Naggum <erik@naggum.net>
Message-ID: <3224720919056228@naggum.net>
Organization: Naggum Software, Oslo, Norway
Lines: 10
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sun, 10 Mar 2002 03:48:29 GMT
X-Complaints-To: newsmaster@KPNQwest.no
X-Trace: nreader1.kpnqwest.net 1015732109 193.71.199.50 (Sun, 10 Mar 2002 04:48:29 MET)
NNTP-Posting-Date: Sun, 10 Mar 2002 04:48:29 MET
Xref: archiver1.google.com comp.lang.lisp:28326

* Matthias Blume <matthias@shimizu-blume.com>
| 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.