Created
September 22, 2016 21:46
-
-
Save CrazyPython/5a2b665de96db7c36e224c9af91b0295 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Formal verification doesn't "hack-proof" anything | |
| The only reason the programs needed to be translated to "math language" is because "math language" is exact. Programming languages are exact too. | |
| QED. If it really works then this is possible: | |
| ```bash | |
| $ cat build.sh | |
| checkhacks main.js | |
| uglifyjs main.js > min.js | |
| ``` |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment