News for hackers. Stuff that matters.
Re:The sky is not falling – about the supposed end of dynami... by yogthos on Sunday November 29, 2015 @05:49PM (#10646453)
I'm saying that you have to actually demonstrate that additional formalism adds value before you start claiming that it does.
Re:The sky is not falling – about the supposed end of dynami... by Turing_Machine on Sunday November 29, 2015 @07:49PM (#10646951)
Yes. Real-world programming is an entirely different thing from academic research.

In the real world, it may well be the case that while you're screwing around with a baroque type system, your competition has iterated three or four times and your milkshake has been drunk.