[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Multiple profiles with Guix Home
From: |
Maxime Devos |
Subject: |
Re: Multiple profiles with Guix Home |
Date: |
Thu, 05 May 2022 21:44:52 +0200 |
User-agent: |
Evolution 3.38.3-1 |
Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]:
> > And the O(n)=O(1) doesn't seem quite right here to me -- individual
> > profiles will be smaller and hence faster, but there will also be
> > _more_ profiles. Maybe if you sum over the profiles, you'll get to
> > O(n) instead of O(n²) (where n = number of store items in the
> > profiles)
> Again, k(n log n) <= nk log nk, for k >= 1.
Logarithms are mostly neglible though in practice?
And
kn log nk = kn log n + kn log k ≅ kn log n
for small 'log k'.
Greetings
Maxime.
signature.asc
Description: This is a digitally signed message part
- Re: Multiple profiles with Guix Home, (continued)
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home,
Maxime Devos <=
- Re: Multiple profiles with Guix Home, zimoun, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/05
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/06
- Re: Multiple profiles with Guix Home, Ludovic Courtès, 2022/05/07
- Re: Multiple profiles with Guix Home, zimoun, 2022/05/05
- Re: Multiple profiles with Guix Home, zimoun, 2022/05/05
- Re: Multiple profiles with Guix Home, Maxime Devos, 2022/05/03
- Re: Multiple profiles with Guix Home, Liliana Marie Prikler, 2022/05/04