|
|
|
|
|
|
by kevinventullo
912 days ago
|
|
|
I suspect removing outputs where P(truth) is low is about as hard (and arguably a superset of) detecting code for which P(bug) is high. As an aside, I think these are both roughly equivalent to detecting code for which P(halts) is high! |
|
|