3 ms·
This makes me think of Turing machines which store their own code inside them selves, which you can use for all kinds of interesting proofs. I wish I could find
by selfmodruntime 4y ago
This makes me think of Turing machines which store their own code inside them selves, which you can use for all kinds of interesting proofs. I wish I could find more about this.
- t344344 4y agoLook into Squeak/Smalltalk. It is an operating system/desktop/IDE with self contained compiler.