Channels ▼



Blogs RSS

Invariants for Binary Search, Part 2: Refining The Specifications

Oct 22, 2014

This week, we will try to define more carefully the problem we would like to solve before leaping into the solution.

Channel: C/C++

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.



Video