Hello!
Hilton Chain writes:
> Enable HTTP/2 support
> https://github.com/NixOS/nix/commit/90ad02bf626b885a5dd8967894e2eafc953bdf92
> --8<---cut here---start->8---
> For example, downloading 802 .narinfo files from
> https://cache.nixos.org/, using a single TCP
Christopher Baines writes:
> Hilton Chain writes:
>[...]
>> narinfo mirror in LAN
>> --8<---cut here---start->8---
>> http://crustum:9018 ⛈
>> 6.3% substitutes available (2,046 out of 32,728)
>> 13,395.3 MiB of nars (compressed)
>> 28,202.9 MiB on disk (
Hi Hilton!
On 07/09/2025 5:55 pm, Hilton Chain wrote:
Hi Guix,
Apologize for the name change! I can't resist when I thought of the domain
name...
I'm glad to announce the substitute server I'm running:
https://ci.boiledscript.com
Now it's https://ci.guix.moe :)
with a blog post for
Hilton Chain writes:
> Hilton Chain writes:
> [...]
>> So for best querying performance:
>>
>> a suitable mirror > Cloudflare (cached) > Cloudflare (uncached)
>>
>> Although Cloudflare might be better for downloading speed.
>>
>> Then the goal will be: deploy more mirrors for better coverage
Hilton Chain writes:
> Hilton Chain writes:
>
>> Hilton Chain writes:
>> [...]
>>> So for best querying performance:
>>>
>>> a suitable mirror > Cloudflare (cached) > Cloudflare (uncached)
>>>
>>> Although Cloudflare might be better for downloading speed.
>>>
>>> Then the goal will be: depl
Hilton Chain writes:
> Hilton Chain writes:
>
>> Hilton Chain writes:
>>
>>> Hilton Chain writes:
>>> [...]
So for best querying performance:
a suitable mirror > Cloudflare (cached) > Cloudflare (uncached)
Although Cloudflare might be better for downloading speed.
Hilton Chain writes:
> Hilton Chain writes:
>
>> Hilton Chain writes:
>> [...]
>>> So for best querying performance:
>>>
>>> a suitable mirror > Cloudflare (cached) > Cloudflare (uncached)
>>>
>>> Although Cloudflare might be better for downloading speed.
>>>
>>> Then the goal will be: depl
Hilton Chain writes:
> Ada Stevenson writes:
>
>> Hi Hilton!
>>
>> On 07/09/2025 5:55 pm, Hilton Chain wrote:
>> >[...]
>>
>> I've been using the `ci.boiledscript.org` substitute server for a
>> while now and it has been a treat! I recently switched to the mirror
>> url `cache-cdn.guix.moe` and
Ada Stevenson writes:
> Hi Hilton!
>
> On 07/09/2025 5:55 pm, Hilton Chain wrote:
> >[...]
>
> I've been using the `ci.boiledscript.org` substitute server for a
> while now and it has been a treat! I recently switched to the mirror
> url `cache-cdn.guix.moe` and while the download speeds are good
Hi Guix,
Apologize for the name change! I can't resist when I thought of the domain
name...
> I'm glad to announce the substitute server I'm running:
>
> https://ci.boiledscript.com
Now it's https://ci.guix.moe :)
> with a blog post for its latest status:
>
> https://ultrarare.space/en
> > Do you know where one can obtain a copy of this report? I did an
> > Internet search but couldn't find anything.
> me too
> Jeremiah: sorry if I insist (last time, promised!) but could you give us
> some more info about that report?
I am sorry for the delay, the Government shutdown really d
Chris Marusich writes:
> Hi Jeremiah,
>
> jerem...@pdp10.guru writes:
>
>> Atleast a single attempt in the last 60 years from any military on the
>> planet to deal with the risks written in the Nexus Intruder Report
>> published in 1958.
>
> Do you know where one can obtain a copy of this report?
Hi Jeremiah,
jerem...@pdp10.guru writes:
> Atleast a single attempt in the last 60 years from any military on the
> planet to deal with the risks written in the Nexus Intruder Report
> published in 1958.
Do you know where one can obtain a copy of this report? I did an
Internet search but couldn
> In other words, it's anecdotal.
True, it definitely was not a formal proof just data based upon real
world development with large teams of programmers and formal
specifications for correct behavior.
> Obviously, the flaw in this argument is that there exist much more
> efficient ways to add numb
Hi Jeremiah,
jerem...@pdp10.guru writes:
To truly solve that problem, we need bug-free compilers.
>>> Impossible for all but the simplest of languages as the complexity of
>>> implementing a compiler/assembler/interpreter is ln(c)+a but the
>>> complexity of implementing a bug-free compiler/
> Where are you getting those complexity expressions from?
Approximation of developer effort spent on single pass workflows and
bugfree libraries in the State of Michigan Welfware Eligibility System
extracted from it's ClearCase commit history. (Thank god, I finally got
them to convert to git after
Hi Jeremiah,
jerem...@pdp10.guru writes:
>> To truly solve that problem, we need bug-free compilers.
> Impossible for all but the simplest of languages as the complexity of
> implementing a compiler/assembler/interpreter is ln(c)+a but the
> complexity of implementing a bug-free compiler/assemble
> If you could add an "In-Reply-To:" header to your responses, that would
> be very helpful. It's easy to add it manually if needed: just copy the
> "Message-ID:" header from the original message and replace "Message-ID:"
> with "In-Reply-To:". As is, it's very difficult for me to keep track of
>
Hi Giovanni,
> for this very reason IMHO we should work towards a network of **very
> trusted** build farms directly managed and controlled by the GuixSD
> project sysadmins; if build farms will be able to quickly provide
> substitutes, caching mirrors will be _much more_ effective than today
>
Hi Jeremiah,
If you could add an "In-Reply-To:" header to your responses, that would
be very helpful. It's easy to add it manually if needed: just copy the
"Message-ID:" header from the original message and replace "Message-ID:"
with "In-Reply-To:". As is, it's very difficult for me to keep trac
> I agree that a mathematical proof is what we should be aiming for, and
> the only kind of proof that I could trust in, in this scenario.
A formal proof would be just one piece used in building layers of trust,
each of them indpendent and reinforcing of each other like layers of
kevlar in a bulle
Giovanni Biscuolo writes:
> Mark H Weaver writes:
>
>> Giovanni Biscuolo writes:
>>> with a solid infrastructure of "scientifically" trustable build farms,
>>> there are no reasons not to trust substitutes servers (this implies
>>> working towards 100% reproducibility of GuixSD)
>>
>> What does
Hi Chris,
Thank you for your patience!
Chris Marusich writes:
> Can you also share what numbers you get when you run measure_get against
> berlin.guixsd.org directly? Clearly, the connection from you to
> CloudFront is not as performant as it is for others in other parts of
> the world, but I
Hi Meiyo,
Thank you for sharing this information with us!
Can you also share what numbers you get when you run measure_get against
berlin.guixsd.org directly? Clearly, the connection from you to
CloudFront is not as performant as it is for others in other parts of
the world, but I wonder if it's
Hi Giovanni,
Giovanni Biscuolo writes:
> Mark H Weaver writes:
>
>> Giovanni Biscuolo writes:
>>> with a solid infrastructure of "scientifically" trustable build farms,
>>> there are no reasons not to trust substitutes servers (this implies
>>> working towards 100% reproducibility of GuixSD)
>
Hi Mark,
sorry for the late reply
Mark H Weaver writes:
> Giovanni Biscuolo writes:
>> with a solid infrastructure of "scientifically" trustable build farms,
>> there are no reasons not to trust substitutes servers (this implies
>> working towards 100% reproducibility of GuixSD)
>
> What does
Hi Chris,
Chris Marusich writes:
> Meiyo Peng writes:
>
>> After careful thought, I realized the new CDN won't benefit China
>> residents as planned. Any popular CDN outside China is significantly
>> throttled by ISP/GFW and the situation is worse every year. A CDN will
>> be a great improvemen
Hi Giovanni,
Giovanni Biscuolo writes:
> with a solid infrastructure of "scientifically" trustable build farms,
> there are no reasons not to trust substitutes servers (this implies
> working towards 100% reproducibility of GuixSD)
What does "scientifically trustable" mean?
Mark
Hello!
Chris Marusich skribis:
> Ludovic Courtès writes:
[...]
> Judging by that email thread, one of the reasons why Debian considered
> using a CDN was because they felt that the cost, in terms of people
> power, of maintaining their own "proto-CDN" infrastructure had grown too
> great. I
Hi Chris,
nice to see this discussion, IMHO how GuixSD subsitutes are distributed
is a key issue in our ecosystem and is _all_ about privacy and metadata
*mass* collection
most "normal users" are not concerned about this so they are fine with
super-centralization since it's a convenience... not u
Ludovic Courtès writes:
> Regarding the GNU sub-domain, as I replied to Meiyo, I’m in favor of it,
> all we need is someone to champion setting it up.
I could help with this. Whom should I contact?
>> Regarding CDNs, I definitely think it's worth a try! Even Debian is
>> using CloudFront (clo
Meiyo Peng writes:
> After careful thought, I realized the new CDN won't benefit China
> residents as planned. Any popular CDN outside China is significantly
> throttled by ISP/GFW and the situation is worse every year. A CDN will
> be a great improvement for western countries but not for many as
Hi,
Zephyr Waitzman writes:
> 以前官方的慢死人，最近的话安装靠玄学（找以前邮件列表里的几个 substitude 换着用也就那样吧），偶尔会出一些（感觉不像是网络的）问题。
> 以后有时间再深入学习下。
Thank you for your feedback. That means we do need to set up a caching
mirror within China.
--
Meiyo Peng
Hi,
Zephyr Waitzman writes:
> 大哥你的镜像速度怎么样？可以蹭网吗？（手动滑稽
My caching mirror is at home and it has an ip address of
192.168.x.x. You may connect to it if you have magic power.
BTW. Nice to see another Chinese here. What's your experience
with the default substitute server?
--
Meiyo Peng
Hi,
I have changed my mind. I don't care about the domain name of the
default substitute server any more. I am more worried about the network
speed within China. While I am writing this email, my computer is
downloading substitutes from ci.guix.info at an average speed of about
50kB/s.
After care
Hello Chris,
Chris Marusich skribis:
> Regarding DNS, it would be nice if we could use an official GNU
> subdomain. If we can't use a GNU subdomain, we should at least make
> sure we have some kind of DNS auto-renewal set up so that nobody can
> poach our domain names. And the operators should
36 matches
Mail list logo
