Re: Attributes containing JavaScript

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.lang.javascript
Subject	Re: Attributes containing JavaScript
Date	Fri, 08 Feb 2019 13:27:05 +0000
Organization	A noiseless patient Spider
Lines	32
Message-ID	<87mun6bec6.fsf@bsb.me.uk> (permalink)
References	<onclick-20190205125626@ram.dialup.fu-berlin.de> <1x69hacp503o6.1gifrnn9k8uvf$.dlg@40tude.net> <JavaScript-20190206211054@ram.dialup.fu-berlin.de> <dijkstra-20190207154532@ram.dialup.fu-berlin.de> <XnsA9EFB461C7545eejj99@194.109.6.166> <87o97ne3es.fsf@bsb.me.uk> <096ce4eb-e9c4-4050-8c10-23e9ccb30cdd@googlegroups.com>
Mime-Version	1.0
Content-Type	text/plain
Injection-Info	reader02.eternal-september.org; posting-host="263d32e4a108e3c8e97e33b8e7a013a3"; logging-data="21381"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Raf9VMOc7XvrTK9pgCn3hNGnBw06NOkg="
Cancel-Lock	sha1:nsZcirurGHUsOslnUMDwZlDE2qU= sha1:gGE5tPF+/MwwYwdDvvTmZf2qUrs=
X-BSB-Auth	1.680f7c3af2d65bc0eeb6.20190208132705GMT.87mun6bec6.fsf@bsb.me.uk
Xref	csiph.com comp.lang.javascript:35998

Show key headers only | View raw

Julio Di Egidio <julio@diegidio.name> writes:

> On Thursday, 7 February 2019 21:42:42 UTC+1, Ben Bacarisse  wrote:
>
>> [Dijkstra]
>> above all else with program correctness.  He considered programs to be
>> mathematical texts about which one could (and should) reason.
>
> Conflating real programming (a subbranch of engineering) with computer
> science (a subbranch of mathematics) is a disastrous mistake and the
> origin of most (though not all) disasters in production.
>
>> His book,
>> The Discipline of Programming, should be required reading for all
>> aspiring programmers.  It changed the way I programmed forever.
>
> For the worst, apparently.

What an extraordinary thing to claim to know about!

> << Beware of bugs in the above code,
>    I have only proved it correct,
>    not tested it." >>
>
> Have you missed *that* lesson?

Aphorisms are not lessons.  The roles played by testing and reasoning,
and the relationship between them, are not easy to sum up in a few
words.  They constitute many lessons.

-- 
Ben.

Back to comp.lang.javascript | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Re: Attributes containing JavaScript JJ <jj4public@vfemail.net> - 2019-02-07 02:41 +0700
  Re: Attributes containing JavaScript Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2019-02-06 22:01 +0100
  Re: Attributes containing JavaScript "Evertjan." <exxjxw.hannivoort@inter.nl.net> - 2019-02-07 17:43 +0100
    Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-07 20:42 +0000
      Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-07 21:57 +0000
      Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-07 23:14 -0800
        Re: Attributes containing JavaScript "Evertjan." <exxjxw.hannivoort@inter.nl.net> - 2019-02-08 09:13 +0100
          Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-08 00:20 -0800
        Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-08 00:45 -0800
        Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-08 13:27 +0000

csiph-web