3 ms·
I love that essay. It's such a joy to read, and even though it is very short and to the point it says so much both about the topic itself and society at large.
by sfn42 1y ago
I love that essay. It's such a joy to read, and even though it is very short and to the point it says so much both about the topic itself and society at large.
And its just so obviously correct.
- Atlas667 1y ago[flagged]
- f1shy 1y agoIMHO you are going way way way to far. Far in the weeds.
- BigGreenJorts 1y agoNah, I think they're probably seeing warning signs. So much Djikstra's writing is pseudo intellectual pretensious word salad. Which is a shame bc he was an actual intellectual.
- bazoom42 1y agoIt is not obviously correct. The unstated premise is that programming is - or should be - similar to writing mathematical proofs.
- adamddev1 1y agoThe proofs/programs (Howard/Curry) correspondance has been fairly well established I think.
- marcosdumay 1y agoIt's the requirements discovery phase that always breaks every pure mathematical treatment of software development. (And also, like DW points, that software is way more complex. But on this case, it's the requirements discovery.)
- moi2388 1y agoThat’s because it’s not pure math, but applied math. Which also has the requirements discovery phase.
- marcosdumay 1y agoYes, and constructing mathematical theories is completely different from finding proofs.
- bazoom42 1y agoIt is a bit like architecture is just physics or painting is just chemistry. Technically true in some reductionist sense, but not necessarily the most useful way to think about it.
- sfn42 1y agoNo, the premise is that programming is the act of writing precise specifications, which is easier in a precise language. Similarly to mathematical proofs.