News for hackers. Stuff that matters.

A comment on The Power of 10: Rules for Developing Safety-Critical Code [pdf]. Parent comment

Re:The Power of 10: Rules for Developing Safety-Critical Cod... by AnimalMuppet on Wednesday June 28, 2023 @12:34PM (#36508895)
Yes. And by doing so (and by removing recursion), you are also making the Halting Problem decidable.
[ Parent | on HN ]
Re:The Power of 10: Rules for Developing Safety-Critical Cod... by hedora on Wednesday June 28, 2023 @11:46PM (#36516081)
Rule 5 prohibits programs that average less than two undecidable branches per function.
[ Parent | on HN ]