Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #35994

Re: Attributes containing JavaScript

Newsgroups comp.lang.javascript
Date 2019-02-07 23:14 -0800
References (1 earlier) <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>
Message-ID <096ce4eb-e9c4-4050-8c10-23e9ccb30cdd@googlegroups.com> (permalink)
Subject Re: Attributes containing JavaScript
From Julio Di Egidio <julio@diegidio.name>

Show all headers | View raw

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.

<< Beware of bugs in the above code,
   I have only proved it correct,
   not tested it." >>

Have you missed *that* lesson?

Julio

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next 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