Hacker GitHub

← All repos

vmware-archive/differential-datalog

View on GitHub ↗ ★ 1,501 Java archived

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

30 mentions on Hacker News by 22 people: 5 stories, 25 comments · first 2019-11-29 · latest 2024-02-13

Mentions per year 30 mentions · busiest year 2021 (12)
20082026
AllStoriesComments NewestTopOldest
  1. Another one is Differential Datalog, for streaming data. https://github.com/vmware/differential-datalog
    comment by cmrdporcupine · 2024-01-21 · in Learn Datalog Today
  2. …terms of temporal data handling & relational & Datalog, it's worth looking at Differential Datalog: https://github.com/vmware/differential-datalog
    comment by cmrdporcupine · 2023-12-16 · in Moving from relational data to events
  3. …partners from different domains. Our core team also built differential datalog ( https://github.com/vmware/differential-datalog ) in the past. And while ddlog is used quite successfully in products today, we believe the many lessons we lea
    comment by gz09 · 2023-10-03 · in Feldera – a more performant streaming database based on Z-sets
  4. See also http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.p... https://github.com/vmware/differential-datalog
    comment by MLIR · 2023-07-31 · in A Differential Datalog Interpreter
  5. Github repo (not referenced in the paper) https://github.com/vmware/differential-datalog
    comment by gardenfelder · 2023-07-29 · in A Differential Datalog Interpreter
  6. …, which has a lot of research behind it - Which also can be a compilation target for Datalog: https://github.com/vmware/differential-datalog - Some prototype work on building UI systems in exactly the way you describe using a relational…
    comment by evnc · 2023-03-13 · in Why Are There No Relational DBMSs? [pdf] (2015)
  7. Tutorial which I didn’t see linked in the README: https://github.com/vmware/differential-datalog/blob/master/d...
    comment by ryanschneider · 2022-11-08 · in Differential Datalog: a programming language for incremental computation
  8. …only right now, but could be ideal to integrate your graph as a datastore or disk spill cache. https://github.com/vmware/differential-datalog
    comment by jitl · 2022-11-08 · in Show HN: Cozo – new Graph DB with Datalog, embedded like SQLite
  9. …specialized. [Souffle]( https://souffle-lang.github.io/simple ) and [differential-datalog]( https://github.com/vmware/differential-datalog ) are useful ahead-of-time compilers for datalog, but you have to design your whole program around…
    comment by jitl · 2022-05-23 · in Flix – Safe, reliable, concise, and functional-first programming language
  10. …or its IR (MIR?) as a compilation target. As an example, this strategy is being used by DDlog ( https://github.com/vmware/differential-datalog ).
    comment by infogulch · 2022-05-20 · in Rust: A Critical Retrospective
  11. …- differential-datalog isn’t an end-to-end system, but is highly optimized for quick reactivity https://github.com/vmware/differential-datalog - Datalog UI is a Typescript port of some of differential-datalog’s ideas https://datalogui.dev/…
    comment by jitl · 2022-04-27 · in Datalog in JavaScript
  12. …similar to differential datalog (DDlog) https://hexgolems.com/2020/10/getting-started-with-ddlog/ https://github.com/vmware/differential-datalog
    comment by infogulch · 2021-08-06 · in How PostgreSQL aggregation works and how it inspired our hyperfunctions’ design
  13. …graphs with composable nodes, other incremental querying stuff I can't remember right now ... [1] https://github.com/vmware/differential-datalog
    comment by freshhawk · 2021-06-19 · in Can programming be liberated from the von Neumann style? (1978)
  14. …( https://souffle-lang.github.io/ ) if you're batching data through for static analysis. DDLog ( https://github.com/vmware/differential-datalog ) if you want a rule-engine within your interactive application, to encode decision procedures…
    comment by maweki · 2021-05-17 · in Learn Datalog Today
  15. …the DDlog project If you want a sort of FRP-backed datalog, I highly recommend Differential Datalog https://github.com/vmware/differential-datalog It's a datalog flavor/variant that's based on the Timely Dataflow and Differential Dataflow…
    comment by kixiron · 2021-05-16 · in Learn Datalog Today
  16. Checkout differential datalog. Looks super interesting: https://github.com/vmware/differential-datalog But I've only played with souffle, which I am not sure where it lands in this taxonomy. I think it lands on the high temporal locality…
    comment by efferifick · 2021-05-04 · in An opinionated map of incremental and streaming systems
  17. …Frank McSherry, wrote some datalog tooling as well [2]. [1] https://materialize.com/ [2] https://github.com/vmware/differential-datalog
    comment by samuell · 2021-04-14 · in Logica, a novel open-source logic programming language
  18. …question. But there is some related material. The DDlog repo includes a Souffle-to-DDlog converter: https://github.com/vmware/differential-datalog/blob/v0.38.0/... The Souffle converter is somewhat incomplete:…
    comment by ben_pfaff · 2021-03-20 · in Differential Datalog
  19. …But each release also comes with binaries for GNU/Linux, OS X, and Windows, e.g. for 0.38.0: https://github.com/vmware/differential-datalog/releases/tag/...
    comment by ben_pfaff · 2021-03-20 · in Differential Datalog
  20. …or research projects at the moment, but that should change given enough time… maybe? 1: https://github.com/vmware/differential-datalog/blob/master/d...
    comment by lstamour · 2021-03-20 · in Differential Datalog
  21. …tooling with documentation for WCOJ [4]). Let me know if you'd like to talk. [0]: https://github.com/vmware/differential-datalog [1]: https://github.com/rslint/rslint [2]: https://github.com/TimelyDataflow/timely-dataflow [3]: https://mtrlz
    comment by namibj · 2021-01-22 · in Why isn't differential dataflow more popular?
  22. …making nice progress on profiling tools and I might get to trying some WCOJ code later today. [0]: https://github.com/vmware/differential-datalog [1]: https://github.com/TimelyDataflow/differential-dataflow/tree... [2]:…
    comment by namibj · 2021-01-22 · in Why isn't differential dataflow more popular?
  23. …the link to the Datalog implementation you mention (from VMWare, I wonder what they use it for?): https://github.com/vmware/differential-datalog
    comment by kibwen · 2020-07-19 · in Turning the IDE Inside Out with Datalog
  24. …also comes up in cluster management / provisioning. For example: Differential Datalog [1]. [1] https://github.com/vmware/differential-datalog
    comment by pag · 2020-03-12 · in Warren Abstract Machine
  25. Depending on what you are looking for, DDlog ( https://github.com/vmware/differential-datalog ) is interesting. I'm casually involved, for people weirded out by that, but it supports arbitrary changes to the input facts without…
    comment by frankmcsherry · 2019-11-29 · in LogicBlox – Datalog REPL Tutorial