Joe Hellerstein

Should be fixable according to https://stackoverflow.com/questions/14061605/override-option-in-cmake-subproject, but no dice on first try

- Conditionals - Multiple "heads" on a rule (with conditionals) - Modularity of subsets of rules - Nesting of fluent flows: e.g. put a flow inside a map function (ct...

- Example 1: CALM analysis - Example 2: non-monotonic "taint" propagation - Example 3: selective lineage

To support unordered statements, we should do fixpoint computation. This will: 1. allow for dependency-centric firing of rules 2. allow for recursive rules to compute fixpoint. The latter is harder/fancier...

This includes: - Collection manipulation (baseline would be data structure manipulation in std::whatever) - Network communication (baseline UDP?) - Etc.

document `kvs_bench` example

1

We should provide a useful `README.md` for `kvs_bench`. Ideally we separate the functionality of the KVS from running the benchmark. Then document ~~(a) how to deploy the KVS for normal...

design: `poll_futures` is non-ergonomic in that it drives ticks from the middle of a stream

3

a linear pipeline starting with `source_iter` should probably only run on the first tick. However if it has a `poll_futures` in it, it may run on subsequent ticks. This suggests...

hash join with keyed storage

2

We should allow hash join to accept any keyed lookup structure as pre-populated storage. E.g. it should be possible to do a hash join over a `persist_mut_keyed` without scanning, or...

generate all example outputs in book from experiment tests

3

Currently, output from examples, as in `docs/docs/hydroflow/quickstart/setup.md`, can get out of sync with the code. We should replace all such.