TeX has found at least one bug in every Pascal compiler it's been run on, I think, and at least two in every C compiler
Donald KnuthAI has by now succeeded in doing essentially everything that requires 'thinking' but has failed to do most of what people and animals do 'without thinking'-that, somehow, is much harder.
Donald KnuthBy understanding a machine-oriented language, the programmer will tend to use a much more efficient method; it is much closer to reality.
Donald Knuth