This is the Windows app named xorlisp whose latest release can be downloaded as xorlisp_0.1.0_continuationsAlmostWorking_runOnConsole_or_unzipToGetSource.jar. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named xorlisp with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start any OS OnWorks online emulator from this website, but better Windows online emulator.
- 5. From the OnWorks Windows OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application and install it.
- 7. Download Wine from your Linux distributions software repositories. Once installed, you can then double-click the app to run them with Wine. You can also try PlayOnLinux, a fancy interface over Wine that will help you install popular Windows programs and games.
Wine is a way to run Windows software on Linux, but with no Windows required. Wine is an open-source Windows compatibility layer that can run Windows programs directly on any Linux desktop. Essentially, Wine is trying to re-implement enough of Windows from scratch so that it can run all those Windows applications without actually needing Windows.
xorlisp
Ad
DESCRIPTION
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
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/xorlisp/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
