September 18, 2014
To the user, the alien program just happens to contain a screen that looks just like yours.
September 17, 2014
A little clever work and I was able to quickly set up a test machine with everything I needed on Ubuntu running in a Microsoft Azure VM.
September 11, 2014
It is often possible to avoid difficulties by proving the desired properties of our program by induction.
September 08, 2014
It is tempting to imagine that if you know Linux and Java, you know Android. Almost.
September 04, 2014
Mathematical induction is a technique for using the properties of natural numbers to prove claims about every natural number.