itaibn0 comments on Does Checkers have simpler rules than Go?

[itaibn0]

I believe his imagined compression scheme compresses variables so that when there are N variables in scope, it takes log(N) bits to refer to a variable, and similarly for methods.