Alex Chi Z.
Alex Chi Z.
> ``` > // Should have sum_c >= 0 > ``` ... because table test_1's colC has uniform distribution of 0-9999. So we can only assert >=0 here. The check...
Not sure whether sum_c aggregator is using column A or C. I'll look into the code and ensure this fix is correct before merging.
> Not sure whether sum_c aggregator is using column A or C. I'll look into the code and ensure this fix is correct before merging. It should be using colC...
Yes it works for refsol.
可以考虑用 git 同步 + 反代的形式实现，大概只需要 500MB 的空间。FYI https://github.com/sjtug/mirror-requests/issues/108
https://github.com/skyzh/mirror-clone 我写了一个简单的 OPAM 同步工具，目前还在比较早期的开发阶段。大概过一个月就能写好了（ 
可以使用 https://mirrorz.org/list/llvm-project.git 找到国内其他的镜像。
> 不知道可否参考类似 @skyzh 的方法 > [flathub/flathub#813 (comment)](https://github.com/flathub/flathub/issues/813#issuecomment-738917403) > > > The mirror works differently from traditional reverse proxy. It is served by our custom-made server https://github.com/sjtug/mirror-intel , and uses a...
与此同时，如果可以拿到所有需要下载文件的链接，就可以集成到 https://github.com/sjtug/mirror-clone 做全量同步。比如目前 SJTUG 的 rustup 镜像就是通过 HTTP HEAD 访问 mirror-intel 所有需要缓存文件 URL 的方法，同步近 30 天的所有工具链。
> > 您可以提供一份 ci.guix.gnu.org 的文件特性列表（e.g. 哪些文件是一经上传不会变化，哪些需要回源或反代，哪些需要改写内容再返回用户），我们可以搭建一个基于 mirror-intel 的缓存。 > > 这个文件特性列表要以什么样的方式提供呢，是所有文件名的集合吗。还是可以使用可编程的规则（如regexp）？ 只要是可以编程的规则都可以。我们会直接硬编码到代码里。您可以参考： * https://github.com/sjtug/mirror-intel/blob/master/src/utils.rs#L10 是 ostree 的规则。包含这些字符串的文件直接重定向到源站点。 * https://github.com/sjtug/mirror-intel/blob/master/src/repos.rs#L159 是 dart-pub 的规则。api 反代并进行字符串替换，过大的 api 文件重定向到源站点，其他文件通过 s3 缓存读取。