David Chu

Installing developer kit fails on check system integrity

1

I'm trying to follow the documentation to install the developer kit as described [here](https://kit.pock.app/documentation/pockkit/install-developer-kit). I executed this command: ```bash curl -o ./install-pock-kit https://kit.pock.app/installer && chmod +x ./install-pock-kit && ./install-pock-kit; rm...

As `sov-stf-runner` core point of rollup, it can measure different parts of rollup. Desired metric at the moment: * blocks fetch time (next/finalized) * inclusion/extraction proofs time * apply slot...

An aggregation like `r(choose)` will currently iterate over all values in `r`, then select the 1st value (the full example is [here](https://github.com/davidchuyaya/bud-paxos/blob/main/dedalus-paxos/proposer-noop-holes.dl#L141). That's O(n) for what should be O(1). Ideally...

"self" relation keyword is reserved in Dedalus/Datalog

1

This is the error I get whenever any relations in Dedalus are named `self`. Renaming the relation solves the problem. Would be nice to have a list of reserved names;...

Add arbitrary function support for partitioning in datalog

1

My partitioning transformation introduces the distribution function `slotPartition` below. ``` p2a(i, no, slot, i, num, p, t') :- FilledHoles(no, slot, l, t), id(i), ballot(num, l, t), acceptors(a), slotPartition(a, slot, p),...

Type annotation necessary when using output of a cycle in HF+

1

When these two lines do not contain type annotations, the program cannot compile: [Line 1](https://github.com/davidchuyaya/hydroflow/blob/57df090fe840f4fc998237b17b3dd96e6a15c802/hydroflow_plus_test/src/paxos.rs#L107), [Line 2](https://github.com/davidchuyaya/hydroflow/blob/57df090fe840f4fc998237b17b3dd96e6a15c802/hydroflow_plus_test/src/paxos.rs#L110).

I created a cycle but never called its "complete" function. This causes a crash at compile time that is not very explainable. Here is the stack trace: ``` thread ''...