Apparently, this user prefers to keep an air of mystery about them.
7 Generating a set of minimal-length strings that, together, invoke every production of a context free language jul 8 '14
6 Deciding the set of all Turing machines that halt in at most $k|x|$ steps $\forall x \in \Sigma^*$ apr 16 '14
5 How to prove that problem is not in P may 22 '14
2 n-Cube as a Cayley Graph apr 13 '14
1 Video lectures on type systems jul 21 '14
0 Is P^SAT subset of sum of NP and co-NP jun 9 '14