| ▲ | skydhash 15 hours ago | |
> the ability to formulate your thoughts in a clear manner, have become essential skills for engineering <Insert astronauts meme “Always has been”>
Dijkstra (1970) "Notes On Structured Programming" (EWD249), Section 3 ("On The Reliability of Mechanisms"), p. 7.And
Dijkstra (1976-79) On the foolishness of "natural language programming" (EWD 667) | ||
| ▲ | godelski 14 hours ago | parent [-] | |
Oh, we're quoting Dijkstra? I'll add one :)
Things don't seem to have changed, maybe only that we've embraced that black box more than ever. That we've only doubled down on "it works, therefore it's correct" or "it works, that's all that matters". Yet I'll argue that it only works if it's correct. Correct in the way they Dijkstra means, not in sense that it functions (passes tests).50 years later and we're having the same discussions | ||