[Chicago] python 3.0 hep

[Martin Maney]

On Tue, Dec 09, 2008 at 10:01:16AM -0800, Ted Pollari wrote:
> are a large number of cases.  Making the jump to saying that the code has 
> no errors is either faulty logic or an intentional bit of exaggeration 
> for arguments' sake.

But that's the only basis for arguing for testing in place of
correctness proofs, which is the context.  Whether code needs to be
really correct as opposed to working well enough is a different
discussion.

-- 
Some kinds of waste really are disgusting. SUVs, for example,
would arguably be gross even if they ran on a fuel which would
never run out and generated no pollution. SUVs are gross because
they're the solution to a gross problem. (How to make minivans
look more masculine.)  -- Paul Graham