[arch-general] OT: [arch-dev-public] polkit package upgrade patch

[Fons Adriaensen]

On Sun, Aug 12, 2012 at 04:00:47PM +0200, Tom Gundersen wrote:

> You have showed that it is unnecessary in one particular (very simple)
> case. However, you have not showed that it is unnecessary in all
> cases, so this is not really relevant (had we been talking about a
> human doing this, you'd have a point of course).

I suspect that mathematical thinking is not your thing - no
problem. For otherwise it would be clear that the 'simple'
example I provided covers the general case.

Let me try again. I write a PA-aware sound app X that

* always sets its volume to 0 dB (max).
* always outputs silence (zero valued samples).

As soon as that app runs, PA will set the master gain to
0 dB and use software scaling on all other apps. Now there
are two possibilities:

* Either everything is OK (it will be), and we have shown
  that you can always leave the master gain at 0 dB,

* or everything is not OK, and we have shown that PA
  fails. 

Ciao,

-- 
FA

A world of exhaustive, reliable metadata would be an utopia.
It's also a pipe-dream, founded on self-delusion, nerd hubris
and hysterically inflated market opportunities. (Cory Doctorow)