Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bentonkek
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
bentonkek
2y ago
Copernicus was an exception, not the rule. Would you say everyone else who lived at the time was not 'really' intelligent?
2.
▲
by
bentonkek
4y ago
The same thing applies to undecidable problems. Yes, the halting problem is undecidable in the general case. But most real life programs are expected to always halt, or to repeatedly run a procedure that always halts (event loops, servers).