Channels ▼

Blogs RSS

Dead Beef and DFU

Oct 20, 2014

Every time LabTool starts, it waits for the host computer to send it the firmware to execute.

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