It is interesting that deep understanding of PL theory / computer science, and delivering high value / low defect sw is orthogonal.
-
@dibblego@jonsterling@bmjames so we all require it to write good sw, but we can't say what it is.
@channingwalton @jonsterling @bmjames I can definitely say what "understanding" is. I just can't tell you how to institutionalise training.
-
-
@dibblego@channingwalton@jonsterling@bmjames Dijkstra actually demanded it that no loop is written without proof of termination -
@curious_reader@dibblego@jonsterling@bmjames what form should the proof take? - Show replies
New conversation -
-
-
@dibblego@channingwalton@jonsterling@bmjames so programmers should be able to handle terminationThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@channingwalton@jonsterling@bmjames what I wanted to say is he demanded it in his Turing award speech 1972,how far we've come?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.