Sometimes we want to individualize a piece of hardware. We don’t want to recompile the whole program (because then it’s hard to verify that it is the same program), and we don’t want to [...]
We had a bug that just wouldn’t go away. Sometimes it would show up quickly, sometimes it would show up after the code had been running for a few days… but it would show up. [...]