David Chu

icon indicating a website link https://u.nu/davidchu icon indicating an email [email protected]

icon company @hydro-project icon location Computer Science PhD student, UC Berkeley

Results 3 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.