1,394 followers
@donsbot I wrote a paper about this! You want the stuff about change actions on lattices and Boolean algebras. https://t.co/XP8sX4px0H
@donsbot I wrote a paper about this! You want the stuff about change actions on lattices and Boolean algebras. https://t.co/XP8sX4px0H
@rob_rix @importantshock Shameless self promotion: how to do incremental computation properly for all sorts of Datalog extensions, and solve the recursive view maintenance problem to boot: https://t.co/XP8sX4px0H