Channels ▼

Blogs RSS

Using a Loop Invariant to Help Think About a Program

Sep 19, 2014

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.

Channel: C/C++

At Your (Android) Service

Sep 18, 2014

To the user, the alien program just happens to contain a screen that looks just like yours.

Setting Up a Test Environment for C++14

Sep 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.

Channel: C/C++

Loop Invariants Abbreviate Induction Proofs

Sep 11, 2014

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

Channel: C/C++

An Android's Life

Sep 08, 2014

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

Mathematical Induction Makes Extrapolation Accurate

Sep 04, 2014

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

Channel: C/C++

The Anti Anti Agile Manifesto

Sep 03, 2014

An informed guide to misconceptions of Agile.

Channel: Design

Sanity Checking By Extrapolation

Aug 27, 2014

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.

Channel: C/C++

Security Blanket

Aug 26, 2014

If your fitness-tracking device has a GPS, you might not appreciate people being able to find your whereabouts.

Open Propeller

Aug 20, 2014

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.