News for hackers. Stuff that matters.
Re:People Still Think Their Smart Speakers Are Eavesdropping... by im-a-baby on Saturday November 05, 2022 @09:32PM (#33487846)
It's pretty trivial to construct negatives that can be proven. E.g. take a solid colored object and prove it's not a specific color. You can prove the negative statement by proving a positive statement about the true color of the object, e.g. by direct observation, measuring the wavelength of emitted light, etc.

Similarly, you could prove a speaker doesn't eavesdrop by proving it performs a finite set of operations, none of which are eavesdropping.

Re:People Still Think Their Smart Speakers Are Eavesdropping... by mdaEyebot on Saturday November 05, 2022 @09:42PM (#33487941)
Sure, but computer chips are probably the most complicated things that our civilization can currently make.

Asking somebody to prove that a computer won't do X is a fool's errand, outside of some shrinking safety-critical industries.

That said, you could always make your own smart speaker with a hardware button or shell script instead of a wakeword:

https://developer.amazon.com/en-US/docs/alexa/alexa-smart-sc...

Re:People Still Think Their Smart Speakers Are Eavesdropping... by im-a-baby on Saturday November 05, 2022 @09:50PM (#33488001)
That's very different than your initial statement of: "Many schools of thought believe that it is impossible to prove the absence of something.". Many (all?) schools of thought believe in the law of excluded middle, which makes it possible to prove the absence of many things.