Last week, I talked about how to write a loop invariant. I would like to continue this discussion by paraphrasing a beautifully elegant example that Dijkstra used in A Discipline of Programming.
To the user, the alien program just happens to contain a screen that looks just like yours.
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.
It is often possible to avoid difficulties by proving the desired properties of our program by induction.
It is tempting to imagine that if you know Linux and Java, you know Android. Almost.
Mathematical induction is a technique for using the properties of natural numbers to prove claims about every natural number.
An informed guide to misconceptions of Agile.
It may be tempting to dismiss last week's problem as trivial, and argue that one should simply be able to construct a bunch of test cases and be done with it. However, it may not be easy to determine the correct results.
If your fitness-tracking device has a GPS, you might not appreciate people being able to find your whereabouts.
The guys over at Parallax (the people who became famous for making the Basic Stamp) rolled out an innovative CPU a few years back called the Propeller.