News for hackers. Stuff that matters.

A comment on Tests aren’t enough: Case study after adding type hints to urllib3. Parent comment

Re:Tests aren’t enough: Case study after adding type hints t... by phoneperson on Tuesday October 19, 2021 @08:49AM (#28917495)
The theorems predate Turing's theorem. As for the halting problem, it is solvable with an oracle, unlike the incompleteness theorems.
[ Parent | on HN ]

There are no comments on this comment yet.