[Python-Dev] Challenge: Please break this! [Now with blog post]

[Lie Ryan]

On Mon, 23 Feb 2009 23:22:19 +0000, tav wrote:

> Steve, this isn't death by a 1,000 cuts. What's being put forward here
> is not a specific implementation -- but rather a specific model of
> security (the object capability model) -- which has been proven to be
> foolproof.

Proven? Isn't it impossible to prove something like this? "Nobody ever 
see an alien" is not a proof for "There is no alien". "Nobody have 
thought of a way to break the model" is not a proof for "The model is 
invincible"...