Re: [fonc] Stephen Wolfram on the Wolfram Language

2014-09-25 Thread Chris Warburton
One issue which will be interesting for the Wolfram language is whether it evolves or stagnates across the years and decades. Would language features be allowed, if they disrupt some of the vast library? For example, Java can still be regarded as two languages: one that's thread-safe and one

Re: [fonc] Xml to git: the interesting bit

2014-03-10 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: I'm not quite sure what makes it better than XML except people love to hate XML. There are reasons for that ;) http://homepages.inf.ed.ac.uk/wadler/topics/xml.html#xml-essence Cheers, Chris ___ fonc mailing

Re: [fonc] Evolutionary Debugging :.

2014-01-17 Thread Chris Warburton
Martin McClure martin.mccl...@gemtalksystems.com writes: On 01/16/2014 10:58 AM, John Carlson wrote: What I was thinking was evolving space travel. If it is a physics engine, could it evolve warp drive? Rockets? It'd be fun to see rockets evolve. Should be possible; we understand the

Re: [fonc] Evolutionary Debugging :.

2014-01-16 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: I'm not sure why evolving explosions is a bug. You just want to make sure you survive afterwards. It's a great evolutionary strategy. There's no need to survive either; the situation is basically you will be killed in a few seconds, but the quicker you

Re: [fonc] Evolutionary Debugging :.

2014-01-09 Thread Chris Warburton
myself strategy from Karl Sims videos: http://www.youtube.com/watch?v=JBgG_VSP7f8 Do you remember where you saw that, Chris? Cheers, Robert Feldt On Thu, Jan 9, 2014 at 4:29 PM, Chris Warburton chriswa...@googlemail.com wrote: Pavel Bažant pbaz...@gmail.com writes: I am

Re: [fonc] Modern General Purpose Programming Language

2013-11-06 Thread Chris Warburton
BGB cr88...@gmail.com writes: it is sad, in premise, that hard-coded Visual Studio projects, and raw Makefiles, are often easier to get to work when things don't go just right. well, that and one time recently managing to apparently get on the bad side of some developers for a FOSS GPL

Re: [fonc] Task management in a world without apps.

2013-11-01 Thread Chris Warburton
David Leibs david.le...@oracle.com writes: Hi Chris, I get your point but I have really grown to dislike that phrase Worse is Better. Worse is never better. Worse is always worse and worse never reduces to better under any set of natural rewrite rules. Yes there are advantages in the short

Re: [fonc] Task management in a world without apps.

2013-11-01 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: On Thu, Oct 31, 2013 at 12:37 PM, Chris Warburton chriswa...@googlemail.com wrote: In the case of an OS, providing a dumb box to draw on is much easier than a complete, complementary suite of MVC/Morphic/etc. components, even though developers

Re: [fonc] Task management in a world without apps.

2013-10-31 Thread Chris Warburton
Alan Kay alan.n...@yahoo.com writes: One of the interesting misunderstandings was that Apple and then MS didn't really understand the universal viewing mechanism (MVC) so they thought views with borders around them were windows and view without borders were part of desktop publishing, but in

Re: [fonc] hashes as names

2013-09-27 Thread Chris Warburton
Martin McClure martin.mccl...@gemtalksystems.com writes: Where a hash comes in is if you want the identifiers generated in different places to be the *same* if the content being identified is the same -- you hash the content, and the resulting hash is the identifier. If the identifiers must

Re: [fonc] Personal Programming Environment as Extension of Self

2013-09-25 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: I encourage you to leverage HTML and JavaScript to the extent you need to, but beware of more understandable protocols happening at the same level or above. Sometimes giving up expressive power can be better in the short run to gain market share. That

Re: [fonc] Personal Programming Environment as Extension of Self

2013-09-24 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: Text is also one of the problems I've been banging my head against since Friday. Thing is, I really hate escapes. They have this nasty geometric progression when dealing with deeply quoted code: {} - {{\}} - {{{\\\}\}} - \\\}\\\}\}} -

Re: [fonc] Personal Programming Environment as Extension of Self

2013-09-23 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: My own plan is to implement a streamable, strongly typed, capability-secure TC bytecode (Awelon Bytecode, ABC) and build up from there, perhaps targeting Unity and/or developing a web-app IDE for visualization. (Unity is a tempting target for me due

Re: [fonc] Final STEP progress report abandoned?

2013-09-09 Thread Chris Warburton
Alan Kay alan.n...@yahoo.com writes: When I said even scientists go against their training I was also pointing out really deep problems in humanity's attempts at thinking (we are quite terrible thinkers!). I think a quite modest improvement would be more powerful calculators. For example, we

Re: [fonc] People and evidence

2013-09-09 Thread Chris Warburton
Alan Kay alan.n...@yahoo.com writes: Many of the commenters on this list have missed that evidence and data requires a fruitful context -- even to consider them! -- and that better tools and data will only tend to help those who are already set up epistemologically to use them wisely. (And

Re: [fonc] Final STEP progress report abandoned?

2013-09-06 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: But favoring a simpler programming model - e.g. one with only integers, and where the only operation is to add or compare them -might also help. If the problem domain is X then I agree a minimal X-specific DSL is a good idea, although purely numeric

Re: [fonc] Final STEP progress report abandoned?

2013-09-06 Thread Chris Warburton
John Nilsson j...@milsson.nu writes: Even if the different domains are different it should still be possible to generalize the basic framework and strategy used. I imagine layers of models each constrained by the upper metamodel and a fitness function feeding a generator to create the next

Re: [fonc] Final STEP progress report abandoned?

2013-09-05 Thread Chris Warburton
Eugen Leitl eu...@leitl.org writes: On Wed, Sep 04, 2013 at 04:28:52PM -0700, Simon Forman wrote: There is a (the?) universal logical notation being elucidated right now that seems to me to be very promising for this sort of stuff. Is it intrinsically massively parallel? If it isn't, it's

Re: [fonc] Final STEP progress report abandoned?

2013-09-05 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: Regarding the language under-the-hood: If we want to automate software development, we would gain a great deal of efficiency and robustness by focusing on languages whose programs are easy to evaluate, and that will (a) be meaningful/executable by

Re: [fonc] Final STEP progress report abandoned?

2013-09-05 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: I agree we can gain some inspirations from life. Genetic programming, neural networks, the development of robust systems in terms of reactive cycles, focus on adaptive rather than abstractive computation. But it's easy to forget that life had

Re: [fonc] Final STEP progress report abandoned?

2013-09-05 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: On Thu, Sep 5, 2013 at 5:35 AM, Chris Warburton chriswa...@googlemail.comwrote: there can often be a semantic cost in trying to assign meaning to arbitrary combinations of tokens. This can complicate the runtime (eg. using different stacks

Re: [fonc] Final STEP progress report abandoned?

2013-09-05 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: On Sep 5, 2013 11:57 AM, David Barbour dmbarb...@gmail.com wrote: On Thu, Sep 5, 2013 at 9:41 AM, John Carlson yottz...@gmail.com wrote: Has anyone done research on improving programs? I know of some where you try to find bugs in programs. What

Re: [fonc] Fwd: Interaction Design for Languages

2013-08-30 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: There are actually several ways to compose predictive/learning systems. The simple compositions: they can be chained, hierarchical, or run in parallel (combining independent estimates). More complicated composition: use speculative evaluation to feed

Re: [fonc] Universal language and system programming

2013-04-22 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: If there truly is a universal language, is it a systems language? A logic language can describe hardware. What about things like pointers? Have they come up with self-referential logic? On Apr 20, 2013 11:18 PM, John Carlson yottz...@gmail.com wrote:

Re: [fonc] Layering, Thinking and Computing

2013-04-09 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: relying on global knowledge when designing an actor system seems, to me, not to be the right way In our earlier discussion, you mentioned that actors model can be used to implement lambda calculus. And this is true, given bog standard actors model.

Re: [fonc] When natural language fails!

2013-04-09 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: On Tue, Apr 9, 2013 at 1:48 AM, Casey Ransberger casey.obrie...@gmail.comwrote: The computer is going to keep getting smaller. How do you program a phone? It would be nice to be able to just talk to it, but it needs to be able -- in a programming

Re: [fonc] When natural language fails!

2013-04-09 Thread Chris Warburton
Carl Gundel ca...@psychesystems.com writes: LOL! I love your example. :-) I used to work at a company working on natural language processing (in Smalltalk no less). We had more than a dozen doctorate linguists and computational linguists working at LingoMotors. Here's just one single and

Re: [fonc] When natural language fails!

2013-04-09 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: Sometimes I think that something like http://leapmotion.com will use something like Ameslan to revolutionize programming. Maybe programming will become less sedentary and more like dance dance revolution. It depends on the programmer how sedentary they

Re: [fonc] When natural language fails!

2013-04-09 Thread Chris Warburton
David Barbour dmbarb...@gmail.com writes: I also think that tonal audio output may be preferable to spoken output as the amount of data increases. For example, imagine a service monitor that hums along as requests are processed, becoming discordant when it starts seeing error messages. This

Re: [fonc] Binary Lambda Calculus

2013-03-25 Thread Chris Warburton
John Carlson yottz...@gmail.com writes: So is anyone looking at binary parser generators? It would seem like something like this would have been done ages ago. Brings to mind Every Bit Counts. It's a library for serialising and deserialising datatypes by using each bit as a yes/no answer, eg.

Re: [fonc] Binary Lambda Calculus

2013-03-25 Thread Chris Warburton
Jan Wedekind j...@wedesoft.de writes: Hi, After reading John Tromp's paper [1] (also see De Bruijn Index [2]) I got very interested in Binary Lambda Calculus (BLC). In my little spare time I implemented a BLC interpreter in C [3, 4]. I thought it would be interesting to share it on this

Re: [fonc] Sources for Functional Reactive Programming

2013-02-22 Thread Chris Warburton
Casey Ransberger casey.obrie...@gmail.com writes: On Thu, Feb 21, 2013 at 1:15 PM, Casey Ransberger casey.obrie...@gmail.com wrote: Didn't know this term, and worrying that I was completely misunderstanding the use of the term behavior, I googled and found these:

Re: [fonc] Design of web, POLs for rules. Fuzz testing nile

2013-02-15 Thread Chris Warburton
J. Andrew Rogers and...@jarbox.org writes: On Feb 15, 2013, at 12:10 AM, John Carlson yottz...@gmail.com wrote: REST is commonly used to transport XML or JSON or similar. Parsing JSON or XML encoding structures is quite slow because they are intrinsically inefficient as wire encoding formats.

Re: [fonc] misc: code security model

2011-08-15 Thread Chris Warburton
On Friday 12 August 2011 21:23:23 BGB wrote: newer Linux distros also seem to do similar to Windows, by default running everything under a default user account, but requiring authorization to elevate the rights of applications (to root), although albeit with considerably more retyping of

Re: [fonc] Physics and Types

2011-08-05 Thread Chris Warburton
On Friday 05 August 2011 11:43:04 BGB wrote: On 8/4/2011 6:19 PM, Alan Kay wrote: Here's the link to the paper http://www.vpri.org/pdf/rn2005001_learning.pdf inference: it is not that basic math and physics are fundamentally so difficult to understand... but that many classes portray

Re: [fonc] Physics and Types

2011-08-05 Thread Chris Warburton
On Friday 05 August 2011 20:22:21 BGB wrote: On 8/5/2011 11:56 AM, Wesley Smith wrote: vectors are nice though. for example, in the book I had, some aspects of the topic were expressed in terms of a mess of trigonometry which wouldn't really work correctly in 3D. some of these topics were

Re: [fonc] Physics and Types

2011-08-03 Thread Chris Warburton
On Tuesday 02 August 2011 00:43:57 BGB wrote: On 8/1/2011 3:24 PM, Simon Forman wrote: On 7/27/11, Chris Warburtonchriswa...@googlemail.com wrote: snip (maybe relevant but no really to comment). Another reason I would argue against something like types based on Physics is that Physics

Re: [fonc] Physics and Types

2011-08-03 Thread Chris Warburton
On Wednesday 27 July 2011 20:54:48 David Barbour wrote: On Wed, Jul 27, 2011 at 10:41 AM, Chris Warburton chriswa...@googlemail.com wrote: Locality: Mentioned in passing for relativity, but locality is a very useful property that holds for most Physics: stuff happens because

Re: [fonc] Physics and Types

2011-07-27 Thread Chris Warburton
wants to study the Universe, because it's too tedious and unfathomable ;) Cheers, Chris Warburton PS: My degree was in Physics and Computer Science :) ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] HotDraw's Tool State Machine Editor

2011-07-26 Thread Chris Warburton
translations (eg. compilation). Thanks, Chris Warburton ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] Eternal computing

2011-06-30 Thread Chris Warburton
happens to be sat in front of our metal +silicon box at the moment. Does this gel with other people's thoughts of 'eternal computing'? Thanks, Chris Warburton PS: I'm afraid I can't contribute much to the hardcore biology discussion, as it's way beyond me (my background is Physics and Computer

Re: [fonc] Eternal computing

2011-06-29 Thread Chris Warburton
of biology think of this? Thanks, Chris Warburton ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] OMetaJS + NodeJS

2011-06-28 Thread Chris Warburton
hits to find out how to do simple things like eval(), file IO, etc.) Cheers, Chris Warburton ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] Alternative Web programming models?

2011-06-10 Thread Chris Warburton
CPU (Javascript engine), storage (cookies, HTML5 local SQL, ...), networking (XMLHttpRequest, WebSockets, ...), display (DOM, canvas, WebGL, SVG, ...), IO interrupts (events) and so on. Can I ask how this is not an OS? Regards, Chris Warburton ___ fonc

Re: [fonc] Beats

2011-05-18 Thread Chris Warburton
Somewhat similar to this discussion, but more focused on live-coding performances rather than studio production, is Text which was presented at a local computer meetup recently by its author[1]. It's a drag 'n' drop interface where component names and parameters are typed in and connected