Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > alt.folklore.computers > #164182
| From | Charlie Gibbs <cgibbs@kltpzyxm.invalid> |
|---|---|
| Newsgroups | alt.folklore.computers |
| Subject | Re: CS instead of math? |
| Date | 2016-05-31 20:06 +0000 |
| Organization | NewsGuy - Unlimited Usenet $23.95 |
| Message-ID | <nikqro01pm6@news4.newsguy.com> (permalink) |
| References | <573fb25c.33979790@nntp2.rawbw.com> <ni24sk52fbd@news4.newsguy.com> <dqkt3mFqjklU2@mid.individual.net> <MPG.31b0a260b0bea2d98a1d5@news.eternal-september.org> <574dc948.9600174@nntp2.rawbw.com> |
On 2016-05-31, Questor <usenet@only.tnx> wrote: > Testing cannot definitively prove that code is correct. Even if it could, it can't determine whether the specification to which the code was written has any bearing on what the customer needs. Or wants. Or will want next week. > Formal verification is an entirely valid field of study within computer > science, and indeed, it is part of the "science" in computer science. > The methods and tools are widely used in hardware design, presumably > because once something is committed to silicon, correcting errors is > expensive. The spirit of getting it right the first time has long > been lost in the software realm, to say nothing of actually shipping > a finished product. "There's never time to do it right, but always time to do it over." Even if you could get it right (first time or otherwise), the marketing department's obsession with constant change will have them demanding that you break your perfect solution for the next release. -- /~\ cgibbs@kltpzyxm.invalid (Charlie Gibbs) \ / I'm really at ac.dekanfrus if you read it the right way. X Top-posted messages will probably be ignored. See RFC1855. / \ HTML will DEFINITELY be ignored. Join the ASCII ribbon campaign!
Back to alt.folklore.computers | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
CS instead of math? usenet@only.tnx (Questor) - 2016-05-21 00:57 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-20 22:13 -0400
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-05-21 11:39 +0000
Re: CS instead of math? bert <bert.hutchings@btinternet.com> - 2016-05-21 13:23 -0700
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-21 22:36 -0400
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-05-24 18:00 +0000
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-24 20:27 +0200
Re: CS instead of math? Bob Martin <bob.martin@excite.com> - 2016-05-25 06:56 +0100
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-25 07:42 +0100
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-25 09:39 +0200
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-25 09:37 +0100
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-05-25 13:05 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-26 07:07 -0400
Re: CS instead of math? Morten Reistad <first@Last.name.invalid> - 2016-05-26 13:34 +0200
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 14:02 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-26 19:46 -0400
Re: CS instead of math? Dave Garland <dave.garland@wizinfo.com> - 2016-05-26 19:17 -0500
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-05-27 06:56 -0400
Re: CS instead of math? JimP <solosam90@gmail.com> - 2016-05-25 07:26 -0500
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-25 14:40 +0200
Re: CS instead of math? Mike Spencer <mds@bogus.nodomain.nowhere> - 2016-05-25 16:19 -0300
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-05-25 16:15 -0400
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-25 22:29 +0200
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-05-25 21:19 +0000
Re: CS instead of math? sidd@situ.com (sidd) - 2016-05-26 16:34 -0400
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-26 07:04 -0400
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-26 13:28 +0200
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 14:06 +0100
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-26 18:57 +0200
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 18:19 +0100
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 18:35 +0100
Re: CS instead of math? cb@elaine.df.lth.se (Christian Brunschen) - 2016-05-26 22:05 +0000
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-05-27 15:33 +0000
Re: CS instead of math? Mike Spencer <mds@bogus.nodomain.nowhere> - 2016-05-27 15:40 -0300
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-05-26 14:43 +0000
Re: CS instead of math? JimP <solosam90@gmail.com> - 2016-05-26 11:03 -0500
Re: CS instead of math? scott@slp53.sl.home (Scott Lurndal) - 2016-05-26 16:27 +0000
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 17:52 +0100
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-05-26 16:22 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-31 17:27 +0000
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-05-31 20:06 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-31 21:08 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 07:17 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 05:31 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 11:56 +0100
Re: CS instead of math? Andrew Swallow <am.swallow@btopenworld.com> - 2016-06-01 16:00 +0100
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 17:15 +0100
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-06-01 19:28 +0000
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-06-01 17:42 +0000
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-01 13:03 -0700
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 17:05 -0400
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-01 12:48 -0700
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-06-01 17:34 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-02 07:50 +0100
Re: CS instead of math? Bob Eager <news0006@eager.cx> - 2016-06-02 10:37 +0000
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-02 12:33 +0100
Re: CS instead of math? Bob Eager <news0006@eager.cx> - 2016-06-02 12:08 +0000
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 08:17 +0000
Re: CS instead of math? Andy Burns <feb2017-usenet@adslpipe.co.uk> - 2016-06-02 09:49 +0100
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-02 12:09 +0100
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-06-03 13:16 +0000
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-06-02 12:09 +0000
Re: CS instead of math? Andy Burns <feb2017-usenet@adslpipe.co.uk> - 2016-06-02 14:09 +0100
Re: CS instead of math? Andy Burns <feb2017-usenet@adslpipe.co.uk> - 2016-06-02 14:12 +0100
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-02 19:44 -0700
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-06-03 13:16 +0000
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-06-02 15:02 +0200
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 16:44 +0000
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 16:43 +0000
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 16:42 +0000
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-06-02 16:41 -0400
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 22:18 +0000
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-06-01 17:42 +0000
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-06-01 22:03 +0200
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-01 12:47 -0700
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-31 20:58 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 07:29 +0100
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-06-01 11:59 +0200
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 06:48 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 12:41 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 17:04 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-02 07:59 +0100
Re: CS instead of math? Huge <Huge@nowhere.much.invalid> - 2016-06-02 08:18 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-02 19:53 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 12:15 +0100
Re: CS instead of math? Charlie Gibbs <cgibbs@kltpzyxm.invalid> - 2016-06-01 17:42 +0000
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-06-01 13:51 +0000
Re: CS instead of math? "gareth G4SDW GQRP #3339" <no.spam@thank.you.invalid> - 2016-05-22 11:27 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-22 07:21 -0400
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-05-22 13:15 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-22 09:53 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-25 07:18 +0000
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-25 09:42 +0200
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-05-25 13:11 +0000
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-05-25 16:15 -0400
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-05-25 22:31 +0200
Re: CS instead of math? Andrew Swallow <am.swallow@btopenworld.com> - 2016-05-26 11:23 +0100
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-05-26 11:37 +0100
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-26 17:56 +0000
Re: CS instead of math? sidd@situ.com (sidd) - 2016-05-26 16:36 -0400
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-26 19:51 -0400
Re: CS instead of math? "Osmium" <r124c4u102@comcast.net> - 2016-05-25 07:43 -0500
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-26 17:55 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-26 07:14 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-27 17:40 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-27 18:46 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-05-31 17:28 +0000
Re: CS instead of math? Peter Flass <peter_flass@yahoo.com> - 2016-05-31 16:09 -0400
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-05-31 21:07 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 08:58 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 05:48 -0400
Re: CS instead of math? Morten Reistad <first@last.name.invalid> - 2016-06-01 12:06 +0200
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 06:46 -0400
Re: CS instead of math? sidd@situ.com (sidd) - 2016-06-03 16:05 -0400
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-03 20:49 -0400
Re: CS instead of math? sidd@situ.com (sidd) - 2016-06-04 22:29 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-01 12:27 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 17:07 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-02 08:12 +0100
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-02 19:56 -0400
Re: CS instead of math? Ahem A Rivet's Shot <steveo@eircom.net> - 2016-06-03 09:17 +0100
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-01 13:20 -0700
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-01 17:10 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-06-02 17:58 +0000
Re: CS instead of math? "Osmium" <r124c4u102@comcast.net> - 2016-06-02 13:57 -0500
Re: CS instead of math? Mike Spencer <mds@bogus.nodomain.nowhere> - 2016-06-02 17:43 -0300
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-02 20:08 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-06-02 17:58 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-02 20:05 -0400
Re: CS instead of math? Bob Eager <news0006@eager.cx> - 2016-06-03 10:38 +0000
Re: CS instead of math? "gareth G4SDW GQRP #3339" <no.spam@thank.you.invalid> - 2016-06-03 11:41 +0100
Re: CS instead of math? jmfbahciv <See.above@aol.com> - 2016-06-03 13:16 +0000
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-06-09 05:49 +0000
Re: CS instead of math? "J. Clarke" <j.clarke.873638@gmail.com> - 2016-06-09 19:58 -0400
Re: CS instead of math? usenet@only.tnx (Questor) - 2016-06-17 03:35 +0000
Re: CS instead of math? Gene Wirchenko <genew@telus.net> - 2016-06-02 19:47 -0700
csiph-web