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.
The Purpose of Proofs
-
In discussions of AI and Mathematics, the discussion often goes to
mathematical proofs, such as the the First Proof challenge. So let's look
at the role ...