--> ap/xxxxx

__

Explicit-Control Evaluator (2006.12.30:3 tech_notes#329 research#123 lispcpu#5 lisp#1)

again, chapter five of SICP:

from: http://www.ida.liu.se/~tobnu/scheme2llvm/

This is a small (about 1K lines) self applicable scheme toy compiler which compiles to C-code, and a version that compiles to LLVM with the types fixnum, symbols, strings, functions and vectors (cons cells are seen as vectors of size 2).

and:

The code is quite similar to the code in SICP (Structure and Interpretation of Computer Programs), chapter five, with the difference that it implements the extra functionality that SICP assumes that the explicit control evaluator (virtual machine) already have. Much functionality of the compiler is implemented in a subset of scheme, c-defines (llvm-defines), which are compiled to C-functions (llvm functions).

code for SICP at:

http://mitpress.mit.edu/sicp/code/index.html

quotation and exteriority: (2006.12.30:2 research#122 instructionsets_additions#2)

quotation in the interior

quotation standing as existent

and from:

http://tunes.org/HLL/meta/quotation.html

we have:

So that we manipulate programs written in a language from another language (possibly the same), the meta-language, we need an embedding of base-level source as data for the meta-level system. This embedding may be more or less flexible: it may be dynamically invoked at runtime, or only at compile-time; it may allow for wide range of manipulations, or be but an indirection level before evaluation, without any possibility to effect sensible manipulations on code. In any case, such embedding is called "quoting", and is a very important topic in reflective systems. Indeed, quoting raises the fundamental question in a reflective system: what are the limits of an object? what are the limits of the system? what is to be explicit? what is to be implicit?

// emphasis last two questions above.

and also ref in above to:

On Computational Interpretations of the Modal Logic S4

http://www.ubka.uni-karlsruhe.de/vvv/ira/1996/35/35.text

Godel (and endophysics) again - for Instruction Sets updating/crystalpunk january bonanza (2006.12.30:1 research#121 instructionsets_additions#1)

The great 'eye-opener' in modern physics is Godel's mathematical discovery that there exist truths which are not accessible in a finite number of steps from within the formal system which implies them. The decisive notion is 'from within.' Godel would never have reached this result if stepping outside of the formalism had not been an option.

[Otto Roessler. Endophysics p. 120. In relation to nowness as a Godel boundary]

at the same time potential structure examination (video) of black box hackery a la 23c3 congress