Hacker News Reader

A specification, whether formal or less formal, is very different from the source code.

But it is also always less specific than source code, even if the attempt is to dictate the latter as close as possible.