Channels ▼


September 11, 2014

Loop Invariants Abbreviate Induction Proofs

It is often possible to avoid difficulties by proving the desired properties of our program by induction.

September 08, 2014

An Android's Life

It is tempting to imagine that if you know Linux and Java, you know Android. Almost.

September 04, 2014

Mathematical Induction Makes Extrapolation Accurate

Mathematical induction is a technique for using the properties of natural numbers to prove claims about every natural number.

September 03, 2014

The Anti Anti Agile Manifesto

An informed guide to misconceptions of Agile.

August 27, 2014

Sanity Checking By Extrapolation

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.

More jvm/java message service/jvm webcasts

>>Next page