News for hackers. Stuff that matters.
Re:ProtonMail takes aim at Google with an encrypted calendar by mdszy on Monday December 30, 2019 @03:47PM (#21916566)
> a proof demonstrating that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general

did you even read the article you linked

Re:ProtonMail takes aim at Google with an encrypted calendar by rgbrgb on Monday December 30, 2019 @05:53PM (#21917423)
Apologies, I thought you were saying that you can't prove a negative... that negative proofs (like the examples linked) do not exist.