This week, we will try to define more carefully the problem we would like to solve before leaping into the solution.
Every time LabTool starts, it waits for the host computer to send it the firmware to execute.
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.
Honoring women in STEM
Possibly the worst sin of calling malloc is that it might take a very long time to complete.