Channels ▼

Blogs RSS

Invariants for Binary Search, Part 3: Improving Our Abstractions

Oct 31, 2014

With this abstraction under our belts, we can proceed to write code. If you're interested, you might like to do so for yourself before I show you the details next week.

Channel: C/C++

Agile Certifications Are Actively Destructive

Oct 28, 2014

Is it even possible to assess competence in agile development with a test?

Channel: Design

Lazy Bluetooth

Oct 25, 2014

There is a Bluetooth profile made just for the Internet of Whatever.

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