(no title)
cryzinger | 1 month ago
> The amount of energy needed to refute bullshit is an order of magnitude bigger than that needed to produce it.
cryzinger | 1 month ago
> The amount of energy needed to refute bullshit is an order of magnitude bigger than that needed to produce it.
trees101|1 month ago
Not actually contradictory. Verification is cheap when there's a spec to check against. 'Valid Sudoku?' is mechanical. But 'good paper?' has no spec. That's judgment, not verification.
degamad|1 month ago
... for NP-hard problems.
It says nothing about the difficulty of finding or checking solutions of polynomial ("P") or exponential ("EXPTIME") problems.
bwfan123|1 month ago
rspijker|1 month ago
monkaiju|1 month ago