(This is the first draft, sorry for the bad style)
Truth is an esoteric programming language created by Sam Savitz in 2006. Truth is a new paradigm in programming languages. Each cycle causes each cell (To be defined later) to execute it's value. Each cell can hold one bit A cell must be defined, a cell defenition prototype is below.
[<[Cell ]Number>:](optional, but useful) [(initial|i): (0|1)] [(0|1)(0|1)(0|1)(0|1)] [reference1] [reference2]
6: initial: 0 1110 -2 -1
All cells execute simultaneously when they are called. The cell above is the fifth cell in a program. before any executions have occured, it's value is zero. On each execution this cell takes the value of the cell number 4 and 5 (6-2, 6-1) and takes the nand of them (this is because of the 1110, this means that if both references are 0 then make you value 1; if the first it 0, and the second 1, then make your value 1, if the first is 1 and the second 0 then make the value 1; if they are both 1, then make the vaue 0. above, I explained what happens in each case in the order they are represented by the code.
Any part of the definition can be ommited or replaced with a question mark, but then that which it would would determine will have undefined behavoir.
One can enable basic IO by making special cells. The current system is as follows:
cell 0: if this cell is 1, finish this execution and then halt. cell 1: if this cell is 1, then output the value in cell 2. cell 3: if this cell is 1, then take one bit of input and write it to cell 4.
This program takes one bit of input and outputs its opposite:
0: i: 0 0011 +5
1: i: 0 0011 +4
2: 1100 +2
3: i: 1 0000
5: i: 1
This program will only last for two execution cycles these are the values it goes through:
cell | 0 | 1 | 2 | 3 | 4 | 5
init | 0 | 0 | ? | 1 | X | 1 (? means undefined and unimportant, X = input) (the 1 in cell 3 tells it to input X into 4)
next | 1 | 1 |~X | 0 | ? | ? (the 1 in cells 0 and 1 say to halt, but first output the ~X (opposite of X) in cell 2)
One may make an anti-wimpmode by self-restricting themselves to only two specially picked Turing complete operators.
It is believed that Truth is turing complete
There is no interpreter yet.