Re: [fonc] holy grail of FONC?

2013-04-14 Thread Pascal J. Bourguignon
John Carlson yottz...@gmail.com writes: My coworker actually delivered a system with programmer's undo; it was called a reversible debugger in 1993--before IDEs were popular.  There's also the more recent debugging backward in time: http://www.youtube.com/watch?v=xpI8hIgOyko With the

[fonc] Actors, Light Cones and Epistemology (was Layering, Thinking and Computing)

2013-04-14 Thread Tristan Slominski
I believe our world is 'synchronous' in the sense of things happening at the same time in different places... It seems to me that you are describing a privileged frame of reference. How is it privileged? Would you consider your car mechanic to have a 'privileged' frame of reference on

Re: [fonc] Layering, Thinking and Computing

2013-04-14 Thread Gath-Gealaich
On Sat, Apr 13, 2013 at 8:29 PM, David Barbour dmbarb...@gmail.com wrote: On this forum, 'Nile' is sometimes proffered as an example of the power of equational reasoning, but is a domain specific model. Isn't one of the points of idst/COLA/Frank/whatever-it-is-called-today to simplify the

Re: [fonc] Meta-Reasoning in Actor Systems (was: Layering, Thinking and Computing)

2013-04-14 Thread David Barbour
I always miss a few when making such lists. The easiest way to find new good questions is to try finding models that address the existing questions, then figuring out why you should be disappointed with it. :D On Sun, Apr 14, 2013 at 9:55 AM, Tristan Slominski tristan.slomin...@gmail.com wrote:

Re: [fonc] Actors, Light Cones and Epistemology (was Layering, Thinking and Computing)

2013-04-14 Thread David Barbour
On Sun, Apr 14, 2013 at 1:23 PM, Pascal J. Bourguignon p...@informatimago.com wrote: David Barbour dmbarb...@gmail.com writes: On Apr 14, 2013 9:46 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: A mechanic is a poor example because frame of reference is almost irrelevant

Re: [fonc] Meta-Reasoning in Actor Systems (was: Layering, Thinking and Computing)

2013-04-14 Thread Tristan Slominski
fair enough :D On Sun, Apr 14, 2013 at 4:49 PM, David Barbour dmbarb...@gmail.com wrote: I always miss a few when making such lists. The easiest way to find new good questions is to try finding models that address the existing questions, then figuring out why you should be disappointed with

[fonc] Compiler Passes

2013-04-14 Thread David Barbour
(Forwarded from Layers thread) On Sun, Apr 14, 2013 at 1:44 PM, Gath-Gealaich gath.na.geala...@gmail.comwrote: Isn't one of the points of idst/COLA/Frank/whatever-it-is-called-today to simplify the development of domain-specific models to such an extent that their casual application becomes

Re: [fonc] Compiler Passes

2013-04-14 Thread David Girle
Looking at some of the links associated with the paper A nanopass framework ... you find: http://www.cs.indiana.edu/eip/compile/ which may answer your question and help those looking at Maru. david On Sun, Apr 14, 2013 at 5:35 PM, David Barbour dmbarb...@gmail.com wrote: Do you have a