[z29LiTp5qUC30n]

I think current bootstrapping work clearly shows that the Maxwell equations of software are:

   pop rx -> sp--; rx := mem[sp]
   push rx -> mem[sp] := rx; sp++
   sub rx ry -> rx := rx - ry
   jmp rx $I -> if rx is zero jump $I bytes from end of instruction.

One might also argue:

   call rx -> mem[sp] := IP; sp++; IP := rx
   ret -> sp--; IP := mem[sp]
   nand rx ry -> rx := rx nand ry

but those are just optimizations

[andrewflnr]

Exactly what bootstrapping work? Looks interesting (and like Forth, but that's no surprise).