~ilmu/intro

b2a5821a525bde7fe5ddbbb5b8218d7588425caa — ilmu a month ago c587319 master
make it a bit clearer how we intend to tackle incentives of coordination
1 files changed, 3 insertions(+), 1 deletions(-)

M README
M README => README +3 -1
@@ 19,7 19,9 @@ Fundamental motivation of the project is to combat pollution; the tragedy of the

We are interested in building society on a stable foundation and with computers 
becoming an increasingly fundamental part of the coordination of human behaviour 
we worry about the incentives being created.
we worry about the incentives being created. By building an index in the space of
coordination-free programs (the datalog-ish expressivity) we can then use proven
methods to coordinate (at the edge), thereby straddling the boundaries of domains.

The datalisp project builds on some very simple ideas: 
- the duality of code and data (universal turing machine proves this)