Alex Chi Z.
Alex Chi Z.
通常 join 用到的列是原表的一部分，列裁剪后比原表小很多
1. 还在探索如何在提供正确的 SQL 语义的同时减少状态大小。直接对状态设置 TTL 会导致一些问题，不是好的用法。 2. RisingWave 有两套 join。主要可以看 hash join 而不是 delta join。
I've also tested my code on the online version, which caused the same issue. http://ucsd-progsys.github.io/liquidhaskell-tutorial/07-measure-int.html#/program-40 
Thank you for your response! I've just figured out a working example by defining `pivApp` similar to http://goto.ucsd.edu/~gridaphobe/liquid/haskell/blog/blog/2013/07/29/putting-things-in-order.lhs/ https://github.com/SkyZH/introliquid.hs/blob/master/src/Ex06.hs#L150
I've missed your first reply... 1. **use “Len” instead of “size” In the spec of “partition”** does not help, because `ListN` is defined by size... 2. **tell LH that “Len”...
2. **tell LH that “Len” is the same as “size” by specifying that** still does not help if I change the definition from the one in the previous comment into:...
> $ wget https://crates-io.proxy.ustclug.org/api/v1/crates/anyhow/1.0.44/download > --2021-10-12 12:58:02-- https://crates-io.proxy.ustclug.org/api/v1/crates/anyhow/1.0.44/download > Resolving crates-io.proxy.ustclug.org (crates-io.proxy.ustclug.org)... 192.109.232.118, 2400:ddc0:1000::6417:bae0 > Connecting to crates-io.proxy.ustclug.org (crates-io.proxy.ustclug.org)|192.109.232.118|:443... connected. > ERROR: cannot verify crates-io.proxy.ustclug.org's certificate, issued by ‘/C=US/O=Let's Encrypt/CN=R3’:...
proxy.* 似乎还没有换，这个有计划吗（