Channels ▼

Blogs RSS

A Loop Invariant Can Be An Optimization Tool

Sep 29, 2014

This week, we'll look at the helpful qualities of loop invariants.

Channel: C/C++

Clock Edge Detection...In Excel

Sep 25, 2014

Faced with a half-million lines of output from an oscilloscope, I turned to a spreadsheet

Endless Flexibility, The Enemy of Agile

Sep 25, 2014

When monolithic systems attempt to be infinitely flexible, unfathomable complexity results and agility becomes impossible.

Channel: Design

Going Android Native

Sep 22, 2014

I often get asked to write something lean to go into an Android app.

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++