Channels ▼

Blogs

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.




NEWS Archive  RSS

November 2011



Video