-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
On 02/02/15 19:01, hasufell wrote:
> Jan Matejka:
>> On Fri, 16 Jan 2015 21:00:24 +0100 Luca Barbato
>> wrote:
>>> Anything written in haskell tend to be impractical to deploy.
>>
>> http://code.haskell.org/~dons/talks/dons-google-2015-01-27.pdf
>>
Jan Matejka:
> On Fri, 16 Jan 2015 21:00:24 +0100
> Luca Barbato wrote:
>
>> On 16/01/15 18:30, Jan Matejka wrote:
>>> On Fri, 07 Nov 2014 10:49:13 +0100
>>> Luca Barbato wrote:
>>>
On 07/11/14 06:06, Harsh Bhatt wrote:
>>>
Also make might enjoy improvements.
>>>
>>> shake?
>
>> Anyth
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On Fri, 16 Jan 2015 21:00:24 +0100
Luca Barbato wrote:
> On 16/01/15 18:30, Jan Matejka wrote:
> > On Fri, 07 Nov 2014 10:49:13 +0100
> > Luca Barbato wrote:
> >
> >> On 07/11/14 06:06, Harsh Bhatt wrote:
> >
> >> Also make might enjoy improveme
On 16/01/15 18:30, Jan Matejka wrote:
> On Fri, 07 Nov 2014 10:49:13 +0100
> Luca Barbato wrote:
>
>> On 07/11/14 06:06, Harsh Bhatt wrote:
>
>> Also make might enjoy improvements.
>
> shake?
Anything written in haskell tend to be impractical to deploy.
tup managed to get lots of great ideas
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On Fri, 07 Nov 2014 10:49:13 +0100
Luca Barbato wrote:
> On 07/11/14 06:06, Harsh Bhatt wrote:
>
> Also make might enjoy improvements.
shake?
- --
Jan Matějka| Developer
https://gentoo.org | Gentoo Linux
GPG: A33E F5BC A9F6 DAFD 2021
On 07/11/14 06:06, Harsh Bhatt wrote:
This idea seems bit interesting, about how the bug tracker works.
In this i just need to confirm that how much mathematical aspect
can be included. It's a good idea to work on.
Also make might enjoy improvements.
lu
Thank you Jauhien Piatlicki, Ciaran McCreesh, Ian Stakenvicius, Jeroen Roovers
for your detailed replies.
After reading all the proivded information, I got confused about doing SAT or
CP model. Currently i am in 5 th year of Applied Mathematics and i have 6
months of time to complete my work.
>
On Thu, 06 Nov 2014 14:25:46 +0100
Jauhien Piatlicki wrote:
> Mathematics you said? That's nice. You can, for example, redesign our
> portage's dependency solving algorithm
More generally perhaps: do something interesting with the portage tree.
If not as directly useful as fixing dependency, a l
On Thu, 06 Nov 2014 10:18:18 -0500
Ian Stakenvicius wrote:
> ...well, if this is an undergrad project, he could start with the SAT
> solver and then do what you recommend for his Masters' .. :)
Naah, SAT is doomed. A (bad) vanilla CP model is doable, but in my
experience of students doing these k
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
On 06/11/14 08:43 AM, Ciaran McCreesh wrote:
> On Thu, 06 Nov 2014 14:25:46 +0100 Jauhien Piatlicki
> wrote:
>> Mathematics you said? That's nice. You can, for example, redesign
>> our portage's dependency solving algorithm, as it is quite slow
>> a
On Thu, 06 Nov 2014 14:25:46 +0100
Jauhien Piatlicki wrote:
> Mathematics you said? That's nice. You can, for example, redesign our
> portage's dependency solving algorithm, as it is quite slow at the
> moment. ) I do not know what it does have inside right now, but using
> SAT solver can be a goo
Hi,
Mathematics you said? That's nice. You can, for example, redesign our
portage's dependency solving algorithm, as it is quite slow at the
moment. ) I do not know what it does have inside right now, but using
SAT solver can be a good idea (there is a successful example already:
https://en.opensu
12 matches
Mail list logo
