> It's like, given all code, what is the smallest language we can use to express it. Which is sequences of 0s and 1s. This should be of interest: https://en.wi

> It's like, given all code, what is the smallest language we can use to express it. Which is sequences of 0s and 1s. This should be of interest: https://en.wikipedia.org/wiki/Binary_lambda_calculus https://en.wikipedia.org/wiki/Binary_lambda_calculus