Hacker News Reader

One could also view unit tests and static type checking as making a program more robust to incorrect programmer-directed changes.

You'd also need to robustify the compiler itself to bit-wise errors, and its output.

> to robustify

Did you mean to reinforce?