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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]



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)



[Index of Archives]     [Linux Wireless]     [Linux Kernel]     [ATH6KL]     [Linux Bluetooth]     [Linux Netdev]     [Kernel Newbies]     [Share Photos]     [IDE]     [Security]     [Git]     [Netfilter]     [Bugtraq]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux ATA RAID]     [Samba]     [Device Mapper]
  Powered by Linux