I also have other repositories on GitHub, all Public Domain of course. One is my 64Bit BitBitJump Implementation, another is my cryptographic signature verification mitigation idea that throws out the hash function and uses padding at the beginning of the file and checks it after decryption to see if it's all 0s. Another is my halting problem solution.
al2o3cr · 4h ago
I don't understand what one long line of Verilog in a repo is supposed to demonstrate.
Also, your "solution" of the halting problem amounts to "run the program and see if it halts", which ISN'T A SOLUTION. A machine that for each step puts a 1 on the tape and moves right, repeat forever, would never "match the current savestate".
I also have other repositories on GitHub, all Public Domain of course. One is my 64Bit BitBitJump Implementation, another is my cryptographic signature verification mitigation idea that throws out the hash function and uses padding at the beginning of the file and checks it after decryption to see if it's all 0s. Another is my halting problem solution.
Also, your "solution" of the halting problem amounts to "run the program and see if it halts", which ISN'T A SOLUTION. A machine that for each step puts a 1 on the tape and moves right, repeat forever, would never "match the current savestate".