IRC channel logs

2024-06-26.log

back to list of logs

<dthompson>I've been reading that dissertation lately, too
<dthompson>it covers dependency directed backtracking and a lot more
<dthompson>I don't understand all of it, but I wish I had read it 10 years ago when I was researching functional reactive programming because it talks about that, too.
<dthompson>and specifically it references FrTime which was the big FRP research thing that I was aware of.
<tonyg>haugh: you might also be interested in https://syndicate-lang.org/tonyg-dissertation/html/#subsec:Incremental-truth-maintenance-and-Aggregation -- syndicate's "assertions" have the flavour of database facts, and "during" clauses are very much like logical implication. This gives it a kind of reactive datalog feel. Syndicate is an actor model with messages replaced by assertions.