Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on How Is Critical Life or Death Software Tested?. Parent comment
If you are careful about test vectors, you can pseudo-exhaustively prove that an iterative dual to a recursive algorithm is equivalent.
There are no comments on this comment yet.
If you are careful about test vectors, you can pseudo-exhaustively prove that an iterative dual to a recursive algorithm is equivalent.