Channels ▼

Blogs RSS

Invariants For Binary Search, Part 1: A Simple Example

Oct 16, 2014

We can use an invariant to help us reason about a piece of code that many programmers find hard to get right by any other means.

Channel: C/C++

Ada Lovelace Day: Celebrate Yourself

Oct 14, 2014

Honoring women in STEM

Channel: Design

Embedded Memory Allocation

Oct 13, 2014

Possibly the worst sin of calling malloc is that it might take a very long time to complete.

Loop Invariants And Testing: Often Possible, Often Difficult

Oct 06, 2014

We can think of an invariant as being a claim or belief about the state of program that we expect to be true each time control reaches a particular point in the program.

Channel: C/C++

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.