3 ms·
> we can't have bare minimum codified standards So, functional, imperative or OOP? :) > Just because there are unanswered questions The halting problem is un
by nottorp 2y ago
> we can't have bare minimum codified standards
So, functional, imperative or OOP? :)
> Just because there are unanswered questions
The halting problem is undecidable. Not undecided. I.e. it has been solved and the answer is "you can't".
- int_19h 2y agoWe don't need to solve the halting problem. We just need to come up with a sensible set of practices that, if followed, make the risks small enough to be considered acceptable. Then we can point at that list and say, "this is what the reasonable expectation of due diligence in software engineering is" - and legally enforce that.
- gorft 2y agoThis is the most pedantic sort of semantic navel-gazing that can only originate in the bowels of an HN thread. Bravissimo, truly.
- nottorp 2y agoYep, now answer me the part about functional, imperative or oop, and come up with a plan to convince everyone.