Subject: Re: self-hosting gc
From: Erik Naggum <erik@naggum.net>
Date: Sun, 10 Mar 2002 15:29:45 GMT
Newsgroups: comp.lang.lisp
Message-ID: <3224762994900674@naggum.net>

* 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.