From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!colt.net!newsfeed.esat.net!nslave.kpnqwest.net!nloc.kpnqwest.net!nmaster.kpnqwest.net!nreader3.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: self-hosting gc References: <87elj5i2rf.fsf@becket.becket.net> <87elj5glx5.fsf@becket.becket.net> <87g03kd1m5.fsf@baguette.webspeed.dk> <5lzo1nhvnh.fsf@rum.cs.yale.edu> <3C8821C9.3080608@cam.ac.uk> <2hwuwnjgri.fsf@vserver.cs.uit.no> <3224587620423566@naggum.net> <2hsn7bjcs1.fsf@vserver.cs.uit.no> <2hit87j76o.fsf@vserver.cs.uit.no> <3224603675566967@naggum.net> <3224720919056228@naggum.net> <3224752888315724@naggum.net> Mail-Copies-To: never From: Erik Naggum Message-ID: <3224762994900674@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 24 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 15:29:45 GMT X-Complaints-To: newsmaster@KPNQwest.no X-Trace: nreader3.kpnqwest.net 1015774185 193.71.199.50 (Sun, 10 Mar 2002 16:29:45 MET) NNTP-Posting-Date: Sun, 10 Mar 2002 16:29:45 MET Xref: archiver1.google.com comp.lang.lisp:28352 * Matthias Blume | I recall having mentioned proof-carrying code before. I don't remember | whether I said "Necula" or "Lee" or both, but anyone who would have | invested the the 5 seconds it takes to type "proof-carrying code" into | Google, would have immediately arrived at a link to Peter Lee's overview | on the topic. Thank you for your condescension. It is becoming clear that you do not want to help people understand why you are right, but prefer to huff and puff because you probably are wrong. It is clearly a waste of time for you to guide people. It seems that you work very hard to make a peculiar kind of "you wouldn't understand, anyway" prejudice come true. One has to wonder how you arrived at what you currently believe, but I shall not bother you with more questions nor request that you be helpful if you have any desire to convince others at all and not only try to intimidate them with your "superior" theories. Just asking people to google is not quite sufficient to see how _you_ arrived at what you believe, you know. Perhaps you have become so defensive that you should take a long break? /// -- 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.