I've encountered a variation on this, he programmed in a very high-level programming language called "graduate student". * https://mathoverflow.net/a/11135 htt

I've encountered a variation on this, he programmed in a very high-level programming language called "graduate student". * https://mathoverflow.net/a/11135 https://mathoverflow.net/a/11135