G github.com Differential Datalog: a programming language for incremental computation 170 points jitl 4 years ago 38 comments