Not logged in
Log in now
Create an account
Subscribe to LWN
LWN.net Weekly Edition for May 23, 2013
An "enum" for Python 3
An unexpected perf feature
LWN.net Weekly Edition for May 16, 2013
A look at the PyPy 2.0 release
Seriously, do people screw up this much in other areas as well? Or is it IT specific?
Merry Christmas from FreeBSD
Posted Dec 23, 2011 23:28 UTC (Fri) by jd (guest, #26381)
To bring this back to IT, it does demonstrate (to me, anyways) that we do need something analogous to Formal Methods. We need objective tools and techniques for ensuring the correctness of what is done meets the desired standard. Formal Methods are not much used because they are difficult to use well and transfer almost the entire effort into getting things right the first time.
(Consider how long it takes a project in Linux to go from first idea to an ultra-stable form, along with all the developers and testers it needs to do that. Now make that the up-front cost before anything is released at all.)
Posted Dec 24, 2011 8:07 UTC (Sat) by mordae (subscriber, #54701)
Posted Dec 24, 2011 9:27 UTC (Sat) by oldtomas (guest, #72579)
[...] it does demonstrate (to me, anyways) that we do need something analogous to Formal Methods.
Posted Dec 24, 2011 17:21 UTC (Sat) by dsimic (subscriber, #72007)
And it's much harder to spend a lot of time doing something the right way.
And it leaves much less time for posting s**t on Facebook. ;)
Posted Dec 26, 2011 16:19 UTC (Mon) by Trelane (subscriber, #56877)
Funny because it's true:
Posted Dec 25, 2011 8:56 UTC (Sun) by elvis_ (subscriber, #63935)
Apologies in advance to those in advance to those with learning difficulties and the smart who were just plain bored, I didn't mean to offend you... and both of you should be able to work out the meaning anyway.
Posted Dec 28, 2011 14:17 UTC (Wed) by steffen780 (guest, #68142)
Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds