Re: [fonc] Kernel & Maru

2013-03-26 Thread Alan Kay
The first ~100 pages are still especially good as food for thought Cheers, Alan > > From: Duncan Mak >To: Alan Kay ; Fundamentals of New Computing > >Cc: "mo...@codetransform.com" >Sent: Tuesday, March 26, 2013 10:35 AM >Subject: Re: [fonc] Kernel & Maru >

Re: [fonc] Kernel & Maru

2013-03-26 Thread Dirk Pranke
I was browsing through this thread looking for a reference to something else and happened to see the reference to that paper and thought to Google it again :). -- Dirk On Tue, Mar 26, 2013 at 10:35 AM, Duncan Mak wrote: > This is great! > > Dirk - how did you find it? > > Duncan. > > > On Tue,

Re: [fonc] Kernel & Maru

2013-03-26 Thread Duncan Mak
This is great! Dirk - how did you find it? Duncan. On Tue, Mar 26, 2013 at 6:09 AM, Alan Kay wrote: > That's it -- a real classic! > > Cheers, > > Alan > > -- > *From:* Dirk Pranke > *To:* Fundamentals of New Computing ; > mo...@codetransform.com > *Sent:* Monda

Re: [fonc] Kernel & Maru

2013-03-26 Thread Alan Kay
That's it -- a real classic! Cheers, Alan > > From: Dirk Pranke >To: Fundamentals of New Computing ; mo...@codetransform.com >Sent: Monday, March 25, 2013 11:18 PM >Subject: Re: [fonc] Kernel & Maru > > >In response to a long-dormant thread ... Fisher's thesi

Re: [fonc] Binary Lambda Calculus

2013-03-26 Thread Jan Wedekind
Hi John and Andre, On Mon, 25 Mar 2013, John Tromp wrote: dear Andre/Jan, PGA is very different from BLC of course, but both are a simple linear notations. PGA starts with jump instructions, and it has step by step extensions for variables, control structures, semaphores etc. It has been used