79 entries in 0.464s
a111: Logged on 2014-04-29 22:56 asciilifeform: '
Dijkstra said angrily. (He’d been visibly shaking his head through out the talk even before this outburst.) “How many bugs are we going to tolerate?” he demanded. “Seven,” Teitelman shot back.'
a111: Logged on 2017-05-23 02:41 asciilifeform: per
dijkstra's 'testing can demonstrate the presence of bugs, but never their absence'
a111: Logged on 2018-06-21 15:33 asciilifeform: Mocky: to function as a troo vtronicist, gotta grasp the concept, described by e.g.
dijkstra, that a line of code you have written is not an asset, but an expense. (specifically, an expense against the time budget of other thinking people, who must read and grasp what you have written. )
a111: Logged on 2018-06-21 15:33 asciilifeform: Mocky: to function as a troo vtronicist, gotta grasp the concept, described by e.g.
dijkstra, that a line of code you have written is not an asset, but an expense. (specifically, an expense against the time budget of other thinking people, who must read and grasp what you have written. )
a111: Logged on 2018-06-21 15:33 asciilifeform: Mocky: to function as a troo vtronicist, gotta grasp the concept, described by e.g.
dijkstra, that a line of code you have written is not an asset, but an expense. (specifically, an expense against the time budget of other thinking people, who must read and grasp what you have written. )
mircea_popescu: asciilifeform it occurs to me this sexy problem item says what
dijkstra was belabouring to say above, except a) correctly and b) fucking briefly.
mircea_popescu: for the record, i find it impossible to discern sense and nonsense in this
dijkstra article, they're so tightly coupled together.
mircea_popescu: for the record, that
dijkstra piece on "radical" bla bla is so fucking idiotic...
a111: Logged on 2018-01-16 06:15 apeloyee: FFA homework is fun! I'd like to present a homework problem of my own, the following Perfectly Innocent (tm) patch:
http://p.bvulpes.com/pastes/tcvvO/?raw=true . The task is to find a bug WITHOUT running the code (that's cheating, per
Dijkstra: " we see to it that the programming language in question has not been implemented on campus so that students are protected from the temptation to...
apeloyee: FFA homework is fun! I'd like to present a homework problem of my own, the following Perfectly Innocent (tm) patch:
http://p.bvulpes.com/pastes/tcvvO/?raw=true . The task is to find a bug WITHOUT running the code (that's cheating, per
Dijkstra: " we see to it that the programming language in question has not been implemented on campus so that students are protected from the temptation to...
☟︎ ag3nt_zer0: heh this reminds me of TMSR: "E.W.
Dijkstra who suggested IT companies not to hire programmers without a suitable knowledge in Latin."
phf: i think it's great if you only use twm/x11 to spawn a couple of xterms, so you can run your mathematica and write your Fortran simulation code. sort of a
Dijkstra lisp machine, when exploratory interactivity is not the main goal. building this whole infrastructure on it was a folly
phf:
dijkstra could do it, why not you
a111: Logged on 2014-04-29 22:56 asciilifeform:
dijkstra once read a lecture, and exclaimed 'how many bugs shall we tolerate?!' one wag stands up - '3!'
ascii_field: actually it was pretty obvious to herr
dijkstra phf: i'm pretty bad a
dijkstra programming, i need to see the system behave to reason clearly about it, and c is not it. besides the translation is the tirvial part
decimation:
dijkstra: "My conclusion is that it is becoming most urgent to stop to consider programming primarily as the minimization of a cost/performance ratio. We should recognise that already now programming is much more an intellectual challenge: the art of programming is the art of organising complexity, of mastering multitude and avoiding its bastard chaos as effectively as possible.
ascii_launchpad: (from when it was mostly clear, to
dijkstra et al that -this- would come, to, well, when the symptoms became impossible to ignore for anyone half awake)
mircea_popescu: anyway, thank god
dijkstra died and i don't have to read 2014 abominations from him like i have to read 2014 "manifest destiny" abominations from buffett.
assbot: Logged on 29-04-2014 22:56:06; asciilifeform: '
Dijkstra said angrily. (He’d been visibly shaking his head through out the talk even before this outburst.) “How many bugs are we going to tolerate?” he demanded. “Seven,” Teitelman shot back.'
decimation:
dijkstra would have been a fan of 'fits in head'
decimation: I became depressed by
dijkstra when he demonstrated how impossible it would be to fully check a simple multiplier circuit
decimation: except I was reading
Dijkstra in "structured programming" and he wrote that it was hopeless to try to "prove" practical code. He did suggest that this is a reason for humility and simplicity.
assbot: A Discipline of Programming: Edsger W.
Dijkstra: 9780132158718: Amazon.com: Books