public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
Search results ordered by [date|relevance]  view[summary|nested|Atom feed]
thread overview below | download: 
* Re: [gentoo-dev] Council meeting 19 April 2010
  @ 2010-04-08 14:08 99%     ` Patrick Lauer
  0 siblings, 0 replies; 1+ results
From: Patrick Lauer @ 2010-04-08 14:08 UTC (permalink / raw
  To: gentoo-dev

On 04/08/10 15:29, Ciaran McCreesh wrote:
> On Thu, 8 Apr 2010 05:02:25 -0700
> Brian Harring <ferringb@gmail.com> wrote:
>> 4) if there are questions re: use cycle breaking or other bits, feel 
>> free to ask prior please- council meeting times unfortunately right 
>> now intersect badly with my paying work so it's hard to be online to 
>> answer questions during the meeting (that said per the norm I'll try).
> 
> Please detail your cycle breaking algorithm that works in such a way
> that it's guaranteed not to toggle flags that will break a system, but
> that does not require any changes to be made to ebuilds etc telling the
> package manager what those flags are.
> 
That would violate the Entscheidungsproblem.

But why would you make the cycle breaking depend on an oracle? Once we
have the method in place we can find the two special cases and think of
ways to fix them. Abandoning the idea as a whole just because there may
be a corner case that isn't as easy appears quite silly to me.

Brian's proposal is the only one I've seen that is deterministic and
sane, so I think we should figure out if we can improve it instead of
giving up at the first bump in the road.



^ permalink raw reply	[relevance 99%]

Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2010-04-07  9:05     [gentoo-dev] Council meeting 19 April 2010 Ulrich Mueller
2010-04-08 12:02     ` Brian Harring
2010-04-08 13:29       ` Ciaran McCreesh
2010-04-08 14:08 99%     ` Patrick Lauer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox