Monthly Archives: October, 2011 nVidia CUDA on Linux (Fedora 15) October 30, 2011 Multiple Versions of gcc on Fedora 15 October 30, 2011 Learning Ruby October 28, 2011 The Pragmatic Programmer October 24, 2011 Myhill-Nerode Theorem in Practice October 24, 2011 Theorem Proving in Mathematics October 24, 2011 Language in Computer Science October 21, 2011