1. Here is a very useful instruction to install FreeNX server on Ubuntu Gusty,
and it works pretty cool! Much much faster than VNC.
2. To list files matches certain pattern in one directory, use the following command:
find . -name "*.c"
This basically find all the c-files in a directory.
Complexity and Lean
-
In the OpenAI Math Drop some papers have Lean proofs, others don't,
including L = RL = BPL. Why is it hard to formalize results on complexity
classes?
L...