Also, what even is "a negative"? The following statements are equivalent:

"There are no squares with diagonals of different lengths"

"All squares have diagonals of equal lengths"

Similarly, I can rephrase the statement about the absence of bugs. These are equivalent:

"This program has no bugs"

"This program always does exactly what it is supposed to do"

If you think you can't prove the first statement, then go ahead and prove the second one.

Are people thinking of falsification when talking about "proving negatives"? I.e. you can only falsify statements about the physical world, never prove them.