Live data from Hacker News

Letters between Backus and Dijkstra (1979)

medium.com

81–90 of 128 posts

Re: Letters between Backus and Dijkstra (1979)

#81
post #72

Earlier quoted context omitted.

>"That we're fucking idiots all the time isn't news to us. It is news to some other professions that don't have such a tight feedback loop between success and failure." This is great, there is nothing like thinking "wtf is wrong, someone changed some library last update and that is the cause", then hours later realizing you are a moron. How exactly can this happen in medicine without severe social consequences?

Instead of library updates imagine half the doctors and nurses don't speak English with a high degree of fluency and don't come from the native culture. That is so obviously a problem for communicating subtleties that it's infuriating that it has to be explicitly pointed out. Speaking of reform. I think the only answer is closing the gap between action and success/failure i.e. a tighter feedback loop. Some futuristic…

>"Now it is important to note I have no idea what I'm talking about. This took literally 30 seconds to come up with."

I think you have some great ideas.

>"So why hasn't something radically better already been done?...In addition to this you'd have to make the general public aware of how bad their healthcare really is."

Maybe at this point the consequences would be worse than the current problem, at least in the short term.

Re: Letters between Backus and Dijkstra (1979)

#82

I'm sad that in this thread and https://news.ycombinator.com/item?id=11786193 , nobody is actually talking about the technical arguments at play. I've only read the EWD692 "opening salvo" but already there are interesting things to point out. EWD1303: > The profound significance of Dekker's solution of 1959, however, was that it showed the role that mathematical proof could play in the process of program design. Now,…

IIUC, Backus also talks about correctness proofs with "Von Neumann model" languages just being a lot harder to prove, a separate point from the language for the proof itself. Well, that's a huge selling point for PL research to this day, Dijkstra evidently came fully on board years later as evidenced in https://www.cs.utexas.edu/users/EWD/transcriptions/OtherDocs...:

> A fundamental reason for the preference is that functional programs are much more readily appreciated as mathematical objects than imperative ones, so that you can teach what rigorous reasoning about programs amounts to.

Re: Letters between Backus and Dijkstra (1979)

#83
post #9

"I don't know how many of you have ever met Dijkstra, but you probably know that arrogance in computer science is measured in nano-Dijkstras." - Alan Kay

This quote keeps on showing up out of context. Edsger and I got along quite well. He loved to be the way he was and pushed it. His friend Bob Barton (the great genius of the B5000 design) was very similar in loving to push buttons and being very critical of the not-quite-a-field that we have. When the U of Utah faculty complained to Dave Evans about Barton, Evans said "We don't care if they're prima donnas as long as they can sing!" This was a general attitude back then. Dijkstra was much more funny than annoying for anyone who had any sense of self. The two biggest problems in our not-quite-a-field were those who listened to him too carefully and those who didn't listen to him carefully enough. In any case, in the research and faculty worlds of the 60s -- where the funding from ARPA was very very different than funding is today -- consensus was not very important: really capable people explored without worrying so much about what others thought (this is hard to explain to people who've grown up in the intensely social and identity seeking world of the last 20 years or so). His comment about OOP (a rather different kind of thing at Xerox PARC than what the term means today) did not bother any of us at all -- it was rather a compliment even (which was also not a big deal) for those of us who liked the way California worked in the 70s. His comments helped when they helped, and they mattered not at all when they didn't.

Re: Letters between Backus and Dijkstra (1979)

#84
post #33
post #19

Earlier quoted context omitted.

Full disclosure: a) Dijkstra is a bit of a personal "hero" of mine (hero in quotation marks, because I don't like to think of myself as a hero worshipper), because it was due to him I learned of textbooks written by guys like Eric Hehner and Roland Backhouse, which ended up changing my life significantly. b) I do not really grasp the technical issues being discussed in the correspondences between Dijkstra and Backus…

I personally found Backus to be way more of a dick in these letters, though I did gloss over some parts. It's strange how different people can get very different things from these letters. Maybe they just didn't have personalities that meshed well. I don't think it's cultural: I'm American and I find Dijkstra's demeanor to be perfectly acceptable, if a little a colorful. Although, in the same vein, people often don't…

I found Dijkstra's letters appalling. Writing - utterly without shame - that his negative response to Backus' paper was disingenuous and served a "political" purpose is utterly despicable to me.

I don't know how you can defend that.

Re: Letters between Backus and Dijkstra (1979)

#85

Earlier quoted context omitted.

There's an interesting summary of the debate about this study on Medscape [0]. Failing to tell a patient that strenuous exercise might be fatal sounds like an error to me! As it happens, my maternal grandmother was killed by a medical error (before I was born). She went in for some kind of routine surgery and didn't make it. Decades later, when the doctor involved died, among his effects were found a letter he had wr…

tell us more about your grandmother's story.

It happened with my father's birth I think. He was the oldest of seven children like typical Catholic families of the time. As a child I knew she walked kind of funny but I put it down to her being an old lady (she wasn't but to a child's eyes it's different). As with something you're familiar with you don't question it. Later my father joined a cult and developed an acrimonious relationship with my grandfather who believed the cult was trying to steal his property and so he disinherited my father. We moved away while I was still very young and so I didn't see my grandmother for a time. In my late teens my father and grandfather became more friendly and we visited occasionally.

My grandmother was becoming ill, first diabetes, then Alzheimers. Around this time I learned from my mother than the doctors in the Bons (as we called the Cork Hospital) had performed a Symphysiotomy. My mother described it as a butcher shop involving hacking and sawing. I think a radio show prompted her outburst on the topic, although she and my grandmother didn't get along she obviously felt deep revulsion about the affair. As with most of the women I don't think they asked for permission, they just wheeled them into surgery. I think what galled my grandparents the most is that they perceived the Bons to be a much superior hospital to all the others. It was private. It had reputable doctors. It was Catholic. They were farmers so this would have been a considered expense for them. I'm confident they didn't want to talk about it, it was probably too much.

In this diagram on the wiki you can see what happened: https://en.wikipedia.org/wiki/Symphysiotomy#/media/File:Skel...

The part marked '5' was severed using something like a wood saw or circular saw. Saying they broke the pelvis isn't an exaggeration.

The accounts from the wiki are grotesque. Catherine McKeever, a private patient at the Lourdes Hospital, Drogheda in 1969, told the Committee that she did not realise what had happened: 'I saw him [the doctor] with an instrument which I thought was a bit brace because my father was a wood turner. I felt a crack … Nobody answered me or said anything'. Margaret Conlan, who was operated upon in 1962 in St Finbarr's Hospital, Cork, testified that she had never been told anything about it: 'My baby’s head was perforated and the baby died… I did not find out [about the symphysiotomy] until I read it in the newspaper'.

It seems the practice was done to encourage more children. I'm not familiar with Catholic dogma so I don't understand why doctors would foist on their patients. Today I wonder today how the Muslim and African doctors are getting away with FGM in Irish and English hospitals, so in a way the barbarism continues. Don't trust religious fanatics or doctors and especially not both.

The problem is that they both tend to come well dressed and respected by their communities. Taking them down makes you the bad guy, not them.

Re: Letters between Backus and Dijkstra (1979)

#86
post #58
post #54

Earlier quoted context omitted.

I don't know what to make of this. This hint is not useful at all. The guideline in question ... > Please resist commenting about being downvoted. ... does not explain anything here. 1. This guideline does not explain the downvote of internaut's comment. 2. This guideline does not explain the downvote of my initial comment, where I complained about another person being downvoted, not about myself being downvoted (whi…

It simply asks you not to go on (and continue to go on) about downvoting. The forum is better if everyone does as it asks. If you're really worried about being targeted by some evil bot, you can just email the site admins.

Thanks for the clarification. Now your first comment makes a lot more sense to me.

It was not clear to me that you were asking for something. I thought you were trying to explain something.

Re: Letters between Backus and Dijkstra (1979)

#87
post #55

Earlier quoted context omitted.

> I'm Dutch, and bluntly calling out flaws in each other's work is not considered all that rude over here; quote: “Object-oriented programming is an exceptionally bad idea which could only have originated in California.” – Edsger Dijkstra Backus, on the other hand, is a genuinely lovely man. If you haven't read/seen his interview with CHM [1], then I urge you to do so. (Pay attention to his closing remarks!) [1]: htt…

I could never find a reliable source for this oft-quoted remark about Object-Oriented Programming. As far as I know, Dijkstra never said this, not in this exact phrasing anyway.

Also, why would he say that when he knew, very well, that OOP was invented in Norway?

http://coldcomfortgames.com/blog/object-oriented-programming...

https://www.quora.com/Why-did-Dijkstra-say-that-%E2%80%9CObj...

It seems no one is able to find the source of the quote, it's in fact much more likely he did not say anything like that, and that the quote is a fabrication.

Re: Letters between Backus and Dijkstra (1979)

#88
post #55

Earlier quoted context omitted.

I could never find a reliable source for this oft-quoted remark about Object-Oriented Programming. As far as I know, Dijkstra never said this, not in this exact phrasing anyway.

http://harmful.cat-v.org/software/OO_programming/

That's not a reliable source, and it does not specify source of the quote.

Re: Letters between Backus and Dijkstra (1979)

#89
post #19

You know, I'm wondering: could part of Dijkstra's reputed arrogance be due to a cultural difference? I'm Dutch, and bluntly calling out flaws in each other's work is not considered all that rude over here; it's almost the opposite: not calling someone out on their flaws implies we either consider them a lost cause or not worth the hassle of educating. I almost got fired from a teaching position in Sweden because I to…

Full disclosure: a) Dijkstra is a bit of a personal "hero" of mine (hero in quotation marks, because I don't like to think of myself as a hero worshipper), because it was due to him I learned of textbooks written by guys like Eric Hehner and Roland Backhouse, which ended up changing my life significantly. b) I do not really grasp the technical issues being discussed in the correspondences between Dijkstra and Backus…

You're right that the technical rebuttals are fairly slim, but the rest of the exchange, which is all about political play and saving face[0], isn't pointless.

The whole argument Dijkstra makes boils down to "if everyone was as technically competent as you and I, then I wouldn't need to do this. But the sad truth is that the incompetent are not only the majority, they decide what gets funded and researched, so I have to." I think he is right about that, and probably even acted correctly on it, but even so: positioning himself like he's taking on a sacrificial trollish saviour role and just doing this to save programming research is pretty arrogant, so Backus is right as well!

And that's just the politics of it, saving public face hasn't even entered the equation here. Don't forget, Backus' reputation also directly affects the respect and by extension funding that he receives for research that he wants to do. With that in mind I can very easily see how Backus must have been furious after reading EWD692, especially considering that it contained a few insinuations about him, which again I would partially account to Dutch culture, which (used to) have a severe case of tall poppy syndrome[1]. But from Backus' point of view, if they had been friends and colleagues before, it might have felt like backstabbing, both politically and as friends.

So I think I understand Backus' ad hominems - I suspect he was sincere about trying to criticise Dijkstra from the position as a long-time friend; his writing style boiling down to: "Look, I respect you and all, but I have to point out that you're being a dick; oh and have a taste of your own medicine on the side, because two can play that game."

Of course, it looks like he played right into the hands of Dijkstra, because Dijkstra doesn't appear to be as emotionally invested in saving public face, and seems to rather enjoy puzzling Backus a bit longer.

In general, I think it speaks for both of them that they managed to resolve these differences to what appears to be mutual satisfaction!

[0] https://en.wikipedia.org/wiki/Face_(sociological_concept)

[1] https://en.wikipedia.org/wiki/Tall_poppy_syndrome

Re: Letters between Backus and Dijkstra (1979)

#90

You know, I'm wondering: could part of Dijkstra's reputed arrogance be due to a cultural difference? I'm Dutch, and bluntly calling out flaws in each other's work is not considered all that rude over here; it's almost the opposite: not calling someone out on their flaws implies we either consider them a lost cause or not worth the hassle of educating. I almost got fired from a teaching position in Sweden because I to…

I'm a lecturer in Sweden, and i know how you feel :) To quote some students on a list "What's this nonsense with independent thinking? Nobody ever told us we had to do that."

Ouch. As if it's a chore instead of a privilege to get to do so!

Well, luckily my story had a happy ending: my colleagues (who were checking the assignments with me) stood up for me, and after the course other students defended me by saying "finally, a teacher willing to call out the freeloaders! It's so demotivating to see them get away with not doing anything while I put in so much effort and get nothing in response."

The reason my former boss had reacted like an overprotective mother was because the complaining students had made me look like someone who motivated through bullying, intimidation and fear. He takes his responsibilities of creating a safe space for students to learn and overcome their insecurities very seriously, and I respect that. Meanwhile, I have high expectations of my students precisely because I believe they are capable of so much more than they give themselves credit for, and he now understands and respects that, and has given me some pointers in how to get that across in ways that Swedes aren't allergic to. So we resolved our issues too.

But yeah, that was a pretty strong culture clash; in the end it was educational for everyone involved I think.

Post reply on HN