David Chu comments

Results 7 comments of


                                            David Chu

"self" relation keyword is reserved in Dedalus/Datalog

`in` is also a keyword.

Have a more generalized structure and process to create utils for each module

- [ ] Build a programming assistant that finds non-monotonicity in programs and suggests conversions to monotonic versions Copilot-style - Even better: automatically identifying when this conversion is safe and...

Add arbitrary function support for partitioning in datalog

Example pulled from [here](https://github.com/davidchuyaya/bud-paxos/blob/dee4cf92a5c9306a8cbc638a41a0f0039d8aa1e6/dedalus-paxos/ballot-proxy/proposer-noop-holes.dl#L138), more available in the same file.

Dataflow edge cardinality counters

Yup, that's this file: https://github.com/hydro-project/hydroflow/blob/main/hydroflow_plus/src/profiler.rs

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

Apparently related to #980 and #1149

perf: avoid clone cost/figure out stream-by-reference mechanism

Slightly unrelated, but the Paxos replica actually doesn't need to pluck out the highest number from the KV-store (there's another stream that already has that number, `r_next_slot_after_processing_payloads` [on line 72](https://github.com/hydro-project/hydro/blob/main/hydro_test/src/cluster/kv_replica.rs#L73))....

Assertion that number of commands = 1 doesn't hold when using xfstests-concise with -l 3

Nevermind, I see this check here: https://github.com/utsaslab/crashmonkey/blob/master/ace/ace.py#L1336 For some reason that didn't trigger for me.