Re: [sl4] prove your source code

From: Krekoski Ross (
Date: Wed Jul 16 2008 - 00:38:28 MDT

On Wed, Jul 16, 2008 at 2:13 PM, Lee Corbin <> wrote:
>> Perhaps we could consider this to be part of the 'source code' but
>> then of course its not really source code in the way that we normally
>> construe it to be-- again, this is a distinction I've raised here before--
>> are our common metaphors 'memory' 'processing' 'storage' 'code'
>> even suitable here?
> I think that anyone familiar with computers will recognize the limitations
> of some of the metaphors. On the whole, though,
> I think that they work rather well.

To us, yes, because we write code, and then thats it. thats the
structure of the program. To a self-modifying entity however it may
not be so clear cut.


This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT