LMI K-Machine...

Joe Marshall bitdiddle@hotmail.com
Wed, 10 Feb 1999 18:58:40 PST

I'm afraid I got busy at REBOL and forgot
to pay Internic in the manner in which they have become
accustomed.  I've sent them some money, but it doesn't seem to
have done any good, yet.  I'm planning on having my site back up
sometime in the next few weeks.

In the meantime, I also had a disk crash, so I only have a truncated
version of the K-Machine description.  I intend to restore from
backup tapes, but you know how reliable *that* is.  If you'd like
a copy of the truncated version I can send it to you.

I do have a copy of Jonathan Rees's
`A Security Kernel Based on the Lambda-Calculus' which I had up on
the site available at http://www.vsf.cape.com/~emergent/

Thanks for your interest.

Joe Marshall

>Date: Wed, 10 Feb 1999 17:00:27 -0900 (AKST)
>From: "James A. Crippen" <crippenj@saturn.math.uaa.alaska.edu>
>To: LispOS Mailing List <lispos@math.gatech.edu>
>Subject: LMI K-Machine...
>I recently remembered reading a paper on the LMI K-Machine design and
>wanted to reread it, so searched for it on Altavista.  Found a link to
>EVAL-APPLY.COM which is no longer in service.  Does anyone have an idea
>where I can find the stuff that was once in
>http://www.eval-apply.com/LispOS ?  I'd like to get my hands on some of
>those good bits so I can archive them...
><crippenj at saturn math uaa alaska edu>   Kallisti!   <james at 
cryptology org>
>Version: 3.12
>GCS/MU/O d?(--) s: a--(?) C+++(++++)>$ UBLOS*+++(++++)>$ P+>+++ L+++>$ 
>W-- N++ o+ K+++>++++ w--- O- M- V--- PS+@ PE@ Y+ PGP>+++ t++@ 5? X? R* 
>b++++ DI++++ D--- G++>++++ e* h* r--- y-- NT{-} A48 HH++++>* PP+++
>------END GEEK CODE BLOCK------

Get Your Private, Free Email at http://www.hotmail.com