On 10/20/2013 at 9:38 AM, Ian Piumarta i...@vpri.org wrote:
Simon,
Sorry for the slightly late fixes. Please svn update your idst
sources and then make clean in the top-level directory.
On 32-bit Linux make sure you have the packages libreadline-dev
and execstack installed.
Then type make in
!) is just
punishing themselves.
Warm regards,
~Simon
On Oct 12, 2013, at 13:49 , Simon Forman wrote:
On 10/10/2013 at 6:22 PM, John Carlson yottz...@gmail.com
wrote:
Or just copy the i386 file to name it's expecting.
On Oct 10, 2013 8:18 PM, John Carlson yottz...@gmail.com
wrote
On 10/10/2013 at 6:22 PM, John Carlson yottz...@gmail.com wrote:
Or just copy the i386 file to name it's expecting.
On Oct 10, 2013 8:18 PM, John Carlson yottz...@gmail.com wrote:
Symlink might help
I tried a symlink but that didn't get any further. It asked me to please
implement iflush()
I checked out COLA from http://piumarta.com/svn2/idst/trunk and tried compiling
but I encountered an error.
cp -p CodeGenerator-x86_64.st CodeGenerator-local.st
cp: cannot stat `CodeGenerator-x86_64.st': No such file or directory
There are CodeGenerator-*.st files for arm, i386, and ppc.
On 09/05/2013 at 4:05 AM, Eugen Leitl eu...@leitl.org wrote:
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
On 9/3/13, Casey Ransberger casey.obrie...@gmail.com wrote:
...
On Sep 3, 2013, at 3:04 PM, David Barbour dmbarb...@gmail.com wrote:
Even better if the languages are good for exploration by genetic
programming - i.e. easily sliced, spliced, rearranged, mutated.
I've only seen this done
On 4/20/13, John Carlson yottz...@gmail.com wrote:
How do these handle infinite sets?
:D
You have to handle infinity the same way a computer does: make up a
special symbol and let it use different rules.
You make up a name and describe the behaviour of the thing named by
logical statements
On 4/20/13, John Carlson yottz...@gmail.com wrote:
Do you need one symbol for the number infinity and another for denoting
that a set is inifinite? Or do you just reason about the size of the set?
Is there a difference between a set that is countably infinite and one that
isn't countable? I
This might be of interest. Over the last century a small group of
people, working largely independently and in isolation, have
discovered and refined an Universal Language.
This is a logic-symbolic notation, not a spoken language (i.e. not
like Esperanto), that captures and expresses the essence
On 4/19/13, Simon Forman forman.si...@gmail.com wrote:
Shroup, http://www.lawsofform.org/
Ooops! That should be Shoup, not Shroup.
The history of mankind for the last four centuries is rather like that of
an imprisoned sleeper, stirring clumsily and uneasily while the prison that
restrains
This might be relevant (apologies if not, I'm somewhat unsophisticated
and perhaps this is all old news, or not interesting.) :)
I was investigating G. Spencer-Brown's Laws of Form[1] by implementing it
in Python. You can represent the marks of LoF as datastructures in
Python composed entirely
On 3/25/13, John Carlson yottz...@gmail.com wrote:
So is anyone looking at binary parser generators? It would seem like
something like this would have been done ages ago.
On Mar 25, 2013 12:07 PM, Andre van Delft andre.vande...@gmail.com
wrote:
Op 25 mrt. 2013, om 17:35 heeft John Tromp
On Wed, Jan 2, 2013 at 10:35 PM, BGB cr88...@gmail.com wrote:
On 1/2/2013 10:31 PM, Simon Forman wrote:
On Tue, Jan 1, 2013 at 7:53 AM, Alan Kay alan.n...@yahoo.com wrote:
The most recent discussions get at a number of important issues whose
pernicious snares need to be handled better
On Tue, Jan 1, 2013 at 7:53 AM, Alan Kay alan.n...@yahoo.com wrote:
The most recent discussions get at a number of important issues whose
pernicious snares need to be handled better.
In an analogy to sending messages most of the time successfully through
noisy channels -- where the noise also
, a tradition
corporation or other institution.)
I see it as a win for open methods even if Torvalds might have a bit
of egg on his face.
~Simon Forman
--
http://twitter.com/SimonForman
http://www.dendritenetwork.com/
The history of mankind for the last four centuries is rather like
Hello folks,
I just wanted to mention something I am putting together to support a
class or course I intend to give on the fundamentals of computer
programming.
I wanted to mention it here because it is both inspired by the work of
VPRI and FoNC, and meant to act as a sort of feeder course into
This is a fascinating tool. I wrote a python Meta II engine
(attached.) It regenerates the asm source for the metacompiler but I
haven't (yet) written a python-emitting metacompiler, just a VM for
Meta II. (I'm actually targeting AVR microcontrollers but I'll almost
certainly write a python
On Fri, Aug 5, 2011 at 2:48 AM, Alan Kay alan.n...@yahoo.com wrote:
That was my thought when I first saw what Seymour Papert was doing with
children and LOGO in the 60s. I was thinking about going back into Molecular
Biology, but Seymour showed that computers could *really* be important as
On Fri, Aug 5, 2011 at 4:20 AM, Chris Warburton
chriswa...@googlemail.com wrote:
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
,
Alan
From: Martin McClure martin.mccl...@vmware.com
To: Fundamentals of New Computing fonc@vpri.org
Sent: Thursday, August 4, 2011 3:46 PM
Subject: Re: [fonc] Physics and Types
On 08/03/2011 08:10 PM, Simon Forman wrote:
On the other hand, there's a story (I
On Wed, Aug 3, 2011 at 7:32 AM, Chris Warburton
chriswa...@googlemail.com wrote:
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
On Sat, Jun 13, 2009 at 3:54 AM, Simon Formanforman.si...@gmail.com wrote:
Hello,
I spent most of the last week reading the pdfs from the vpri.org site
and I am bowled over. It's amazing what you're accomplishing.
Congratulations.
I am trying to understand the COLA architecture by way of
Hello,
I spent most of the last week reading the pdfs from the vpri.org site
and I am bowled over. It's amazing what you're accomplishing.
Congratulations.
I am trying to understand the COLA architecture by way of building a
model of it in the python language. I think I've got the basic object
23 matches
Mail list logo
