Re: [fonc] Kernel Maru

2013-03-26 Thread Dirk Pranke
In response to a long-dormant thread ... Fisher's thesis seems to have surfaced on the web: http://reports-archive.adm.cs.cmu.edu/anon/anon/usr/ftp/usr0/ftp/scan/CMU-CS-70-fisher.pdf -- Dirk On Tue, Apr 10, 2012 at 11:34 AM, Monty Zukowski mo...@codetransform.comwrote: If anyone finds an

Re: [fonc] Kernel Maru

2013-03-26 Thread Dirk Pranke
On Mon, Mar 25, 2013 at 11:18 PM, Dirk Pranke dpra...@chromium.org wrote: In response to a long-dormant thread ... Fisher's thesis seems to have surfaced on the web: (hopefully I did not just violate some form of copyright ...) -- Dirk ___ fonc

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

Re: [fonc] Kernel Maru

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

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 alan.n...@yahoo.com wrote: That's it -- a real classic! Cheers, Alan -- *From:* Dirk Pranke dpra...@chromium.org *To:* Fundamentals of New Computing

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 duncan...@gmail.com wrote: This is great! Dirk - how did you find it?

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 duncan...@gmail.com To: Alan Kay alan.n...@yahoo.com; Fundamentals of New Computing fonc@vpri.org Cc: mo...@codetransform.com mo...@codetransform.com Sent: