Channels ▼

Blogs

October 22, 2014

Invariants for Binary Search, Part 2: Refining The Specifications

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

October 20, 2014

Dead Beef and DFU

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

October 16, 2014

Invariants For Binary Search, Part 1: A Simple Example

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.

October 14, 2014

Ada Lovelace Day: Celebrate Yourself

Honoring women in STEM

October 13, 2014

Embedded Memory Allocation

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




More database/topological-sorting/database webcasts

>>Next page  



Video