@ianthetechie@kytta I believe this falls under "verifiable computing". Blockchain has some solutions for this (for eg: the code for a smart contract is executed on every node with fully deterministic results) but of course, it's not feasible economically for most of the real-world applications.
@nilesh a good insight about the creation of a compiler and self recreating programs, but the last chapter on hacker ethics is a bit outdated. Ok that's legit, the paper is from 1984 :D