xorlisp

SCREENSHOTS:

xorlisp

APP DESCRIPTION:

Download this app named xorlisp.

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a pair of stack and queue. The stack is a linked list of pair of true or false and object pushed on the stack. The queue is also such a linked list but is paired oppositely so previous queue state goes on the left and next object queued on the right of the new pair, so when the queue is navigated in sequence of that astronomically long bitstring (thats exponential of reusing objects in the acyclicNet), the Nav32 (using linearForward and treeForward for random access) first sees the oldest object queued

Features

• Not a working computing or data system yet, but nearly there
• continuations
• provable lack of duplicate objects in the acyclic network of pairs
• so minimalist that you dont get variable names until deriving them from list of bits to represent unicode/UTF8 text. By not assuming variable names exist, we bypass the need to manage renaming during lambda calls.
• bit level spec for the entire system based on lambda being a queue automata like Rule110 is
• Designed for grid computing and GPUs, in future versions

Audience

Science/Research, Advanced End Users, Developers, Security Professionals

User interface

Web-based, Console/Terminal, Plugins

Programming Language

Java, Project is a programming language

Free download Web app or web tool xorlisp from RedcoolMedia.net