The proof of Lemma 1 says that a string of length n can be output by a program of length n+O(1) in any Turing complete programming language, but that ignores th

The proof of Lemma 1 says that a string of length n can be output by a program of length n+O(1) in any Turing complete programming language, but that ignores the fact that nearly all languages require certain characters in string literals to be escaped. For this reason it is better to use languages that are custom designed for program size complexity, such as Binary Lambda Calculus [1]. [1] https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d8...