The only significant application program proved correct by an inductive method was the original TeX of decades ago. Donald Knuth offered a cash prize for each bug found. With each find that prize doubled. No prizes have been paid for a long, long time. But TeX itself has moved on, with Xetex, Luatex, Context, and other pdf producing variants taking center stage. And yes, there are bugs in these newer versions.
OMG this is the chessboard thingy. Starting with 1 cent at 64 bugs the US economy couldn't pay that. Paying a bug reporter a fiver for a new bug would be expensive if you?ve got a community looking for them! You know I was thinking when bugs are reported the bug reporter should be offered to make a 5USD donation if the bug is resolved to his satisfaction (that means resolved for the next release, not on that specific version, and not if the bug no longer exists in the latest version). Cedric -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.scribus.net/pipermail/scribus/attachments/20110917/25460686/attachment.html>
